xen_pud_val
pv_ops.mmu.pud_val = PV_CALLEE_SAVE(xen_pud_val);
PV_CALLEE_SAVE_REGS_THUNK(xen_pud_val);
pudval_t xen_pud_val(pud_t pud);