Symbol: xen_make_p4d
arch/x86/xen/mmu_pv.c
100
p4d_t xen_make_p4d(p4dval_t p4d);
arch/x86/xen/mmu_pv.c
2225
pv_ops.mmu.make_p4d = PV_CALLEE_SAVE(xen_make_p4d);
arch/x86/xen/mmu_pv.c
599
PV_CALLEE_SAVE_REGS_THUNK(xen_make_p4d);