xen_make_pte_init 1560 arch/x86/xen/mmu_pv.c PV_CALLEE_SAVE_REGS_THUNK(xen_make_pte_init);
xen_make_pte_init 2420 arch/x86/xen/mmu_pv.c 	.make_pte = PV_CALLEE_SAVE(xen_make_pte_init),