AMD_IOMMU_DEVTBL_ROOT_PGTBL
AMD_IOMMU_DEVTBL_ROOT_PGTBL));
AMD_IOMMU_REG_SET64(&(entry[0]), AMD_IOMMU_DEVTBL_ROOT_PGTBL,
AMD_IOMMU_DEVTBL_ROOT_PGTBL));
AMD_IOMMU_REG_SET64(&(devtbl_entry[0]), AMD_IOMMU_DEVTBL_ROOT_PGTBL, 0);