Re: [PATCH v4 12/15] iommupt: Add the x86 64 bit page table format

[Randy Dunlap]

On 8/26/25 10:18 AM, Jason Gunthorpe wrote:
> diff --git a/drivers/iommu/generic_pt/Kconfig 
> b/drivers/iommu/generic_pt/Kconfig
> index 57dc81060f9f0d..8665a1d4299b7a 100644
> --- a/drivers/iommu/generic_pt/Kconfig
> +++ b/drivers/iommu/generic_pt/Kconfig
> @@ -41,10 +41,21 @@ config IOMMU_PT_AMDV1
>  
>         Selected automatically by an IOMMU driver that uses this format.
>  
> +config IOMMU_PT_X86_64
> +       tristate "IOMMU page table for x86 64 bit, 4/5 levels"

                                             64-bit,
and use tab to indent, not spaces.

> +     depends on !GENERIC_ATOMIC64 # for cmpxchg64
> +     help
> +       iommu_domain implementation for the x86 64 bit 4/5 level page table.

                                                  64-bit

> +       It supports 4K/2M/1G page sizes and can decode a sign extended

                                                           sign-extended

> +       portion of the 64 bit IOVA space.

                         64-bit

> +
> +       Selected automatically by an IOMMU driver that uses this format.
> +

-- 
~Randy