xen_pte_val
pv_ops.mmu.pte_val = PV_CALLEE_SAVE(xen_pte_val);
PV_CALLEE_SAVE_REGS_THUNK(xen_pte_val);
pteval_t xen_pte_val(pte_t pte);