Searched refs:xen_make_p4d (Results 1 – 1 of 1) sorted by relevance
100 p4d_t xen_make_p4d(p4dval_t p4d);593 __visible p4d_t xen_make_p4d(p4dval_t p4d) in xen_make_p4d() function599 PV_CALLEE_SAVE_REGS_THUNK(xen_make_p4d);2225 pv_ops.mmu.make_p4d = PV_CALLEE_SAVE(xen_make_p4d); in xen_init_mmu_ops()