xen_make_p4d      572 arch/x86/xen/mmu_pv.c PV_CALLEE_SAVE_REGS_THUNK(xen_make_p4d);
xen_make_p4d     2443 arch/x86/xen/mmu_pv.c 	.make_p4d = PV_CALLEE_SAVE(xen_make_p4d),