Symbol: AMD_IOMMU_PTDE_ADDR
usr/src/uts/i86pc/io/amd_iommu/amd_iommu_page_tables.c
1030
ASSERT(AMD_IOMMU_REG_GET64(ptep, AMD_IOMMU_PTDE_ADDR)
usr/src/uts/i86pc/io/amd_iommu/amd_iommu_page_tables.c
1061
AMD_IOMMU_REG_SET64(ptep, AMD_IOMMU_PTDE_ADDR, pa_4K);
usr/src/uts/i86pc/io/amd_iommu/amd_iommu_page_tables.c
1345
pa_4K = AMD_IOMMU_REG_GET64(ptep, AMD_IOMMU_PTDE_ADDR);
usr/src/uts/i86pc/io/amd_iommu/amd_iommu_page_tables.c
735
pgtable_pa_4K = AMD_IOMMU_REG_GET64(pdtep, AMD_IOMMU_PTDE_ADDR);
usr/src/uts/i86pc/io/amd_iommu/amd_iommu_page_tables.c
974
ASSERT(AMD_IOMMU_REG_GET64(pdep, AMD_IOMMU_PTDE_ADDR)
usr/src/uts/i86pc/io/amd_iommu/amd_iommu_page_tables.c
985
AMD_IOMMU_REG_SET64(pdep, AMD_IOMMU_PTDE_ADDR,