Symbol: xen_p4d_val
arch/x86/xen/mmu_pv.c
2224
pv_ops.mmu.p4d_val = PV_CALLEE_SAVE(xen_p4d_val);
arch/x86/xen/mmu_pv.c
591
PV_CALLEE_SAVE_REGS_THUNK(xen_p4d_val);
arch/x86/xen/mmu_pv.c
95
p4dval_t xen_p4d_val(p4d_t p4d);