spp_getpage       246 arch/x86/mm/init_64.c 		p4d_t *p4d = (p4d_t *)spp_getpage();
spp_getpage       258 arch/x86/mm/init_64.c 		pud_t *pud = (pud_t *)spp_getpage();
spp_getpage       270 arch/x86/mm/init_64.c 		pmd_t *pmd = (pmd_t *) spp_getpage();
spp_getpage       282 arch/x86/mm/init_64.c 		pte_t *pte = (pte_t *) spp_getpage();
spp_getpage       375 arch/x86/mm/init_64.c 			p4d = (p4d_t *) spp_getpage();
spp_getpage       381 arch/x86/mm/init_64.c 			pud = (pud_t *) spp_getpage();
spp_getpage       387 arch/x86/mm/init_64.c 			pmd = (pmd_t *) spp_getpage();