xen_make_p4d
p4d_t xen_make_p4d(p4dval_t p4d);
pv_ops.mmu.make_p4d = PV_CALLEE_SAVE(xen_make_p4d);
PV_CALLEE_SAVE_REGS_THUNK(xen_make_p4d);