PVOP_CALL1
return PVOP_CALL1(u64, pv_ops, cpu.read_msr, msr);
return PVOP_CALL1(u64, pv_ops, cpu.read_pmc, counter);
return PVOP_CALL1(int, pv_ops, mmu.pgd_alloc, mm);
return PVOP_CALL1(unsigned long, pv_ops, cpu.get_debugreg, reg);