make_p4d          529 arch/x86/include/asm/paravirt.h 	p4dval_t ret = PVOP_CALLEE1(p4dval_t, mmu.make_p4d, val);
make_p4d          286 arch/x86/include/asm/paravirt_types.h 	struct paravirt_callee_save make_p4d;
make_p4d          412 arch/x86/kernel/paravirt.c 	.mmu.make_p4d		= PTE_IDENT,
make_p4d         2443 arch/x86/xen/mmu_pv.c 	.make_p4d = PV_CALLEE_SAVE(xen_make_p4d),