xen_pgd_val
pv_ops.mmu.pgd_val = PV_CALLEE_SAVE(xen_pgd_val);
PV_CALLEE_SAVE_REGS_THUNK(xen_pgd_val);
pgdval_t xen_pgd_val(pgd_t pgd);