IOMMU_L1_PDE      368 arch/x86/kernel/amd_iommu.c 		*pte = IOMMU_L1_PDE(virt_to_phys(page));
IOMMU_L1_PDE      709 arch/x86/kernel/amd_iommu.c 		l2_pde[i] = IOMMU_L1_PDE(address);