free_pagetable    900 arch/x86/mm/init_64.c 		free_pagetable(page, get_order(PMD_SIZE));
free_pagetable    915 arch/x86/mm/init_64.c 	free_pagetable(pmd_page(*pmd), 0);
free_pagetable    933 arch/x86/mm/init_64.c 	free_pagetable(pud_page(*pud), 0);
free_pagetable    951 arch/x86/mm/init_64.c 	free_pagetable(p4d_page(*p4d), 0);
free_pagetable    990 arch/x86/mm/init_64.c 				free_pagetable(pte_page(*pte), 0);
free_pagetable   1013 arch/x86/mm/init_64.c 				free_pagetable(pte_page(*pte), 0);
free_pagetable   1104 arch/x86/mm/init_64.c 					free_pagetable(pud_page(*pud),
free_pagetable   1118 arch/x86/mm/init_64.c 					free_pagetable(pud_page(*pud),
free_pagetable   1897 drivers/iommu/amd_iommu.c 	free_pagetable(&dom->domain);
free_pagetable   3022 drivers/iommu/amd_iommu.c 			free_pagetable(domain);
free_pagetable   3332 drivers/iommu/amd_iommu.c 	free_pagetable(domain);