PVOP_VCALL1
PVOP_VCALL1(pv_ops_lock, kick, cpu);
PVOP_VCALL1(pv_ops, cpu.write_cr0, x);
PVOP_VCALL1(pv_ops, mmu.write_cr2, x);
PVOP_VCALL1(pv_ops, cpu.write_cr4, x);
PVOP_VCALL1(pv_ops, cpu.load_gdt, dtr);
PVOP_VCALL1(pv_ops, cpu.load_idt, dtr);
PVOP_VCALL1(pv_ops, cpu.load_gs_index, gs);
PVOP_VCALL1(pv_ops, mmu.enter_mmap, next);
PVOP_VCALL1(pv_ops, mmu.release_pte, pfn);
PVOP_VCALL1(pv_ops, mmu.release_pmd, pfn);
PVOP_VCALL1(pv_ops, mmu.release_pud, pfn);
PVOP_VCALL1(pv_ops, mmu.release_p4d, pfn);
PVOP_VCALL1(pv_ops, cpu.start_context_switch, prev);
PVOP_VCALL1(pv_ops, cpu.end_context_switch, next);
PVOP_VCALL1(pv_ops, mmu.flush_tlb_one_user, addr);
PVOP_VCALL1(pv_ops, mmu.exit_mmap, mm);
PVOP_VCALL1(pv_ops, cpu.load_sp0, sp0);