xen_pmd_val
pv_ops.mmu.pmd_val = PV_CALLEE_SAVE(xen_pmd_val);
PV_CALLEE_SAVE_REGS_THUNK(xen_pmd_val);
pmdval_t xen_pmd_val(pmd_t pmd);