68 	PVOP_VCALL1(mmu.flush_tlb_one_user, addr);  in __flush_tlb_one_user()
84 	PVOP_VCALL1(mmu.exit_mmap, mm);  in paravirt_arch_exit_mmap()
90 	PVOP_VCALL1(cpu.load_sp0, sp0);  in load_sp0()
120 	PVOP_VCALL1(cpu.write_cr0, x);  in write_cr0()
130 	PVOP_VCALL1(mmu.write_cr2, x);  in write_cr2()
140 	PVOP_VCALL1(mmu.write_cr3, x);  in write_cr3()
145 	PVOP_VCALL1(cpu.write_cr4, x);  in __write_cr4()
257 	PVOP_VCALL1(cpu.load_gdt, dtr);  in load_gdt()
261 	PVOP_VCALL1(cpu.load_idt, dtr);  in load_idt()
280 	PVOP_VCALL1(cpu.load_gs_index, gs);  in load_gs_index()
340 	PVOP_VCALL1(mmu.release_pte, pfn);  in paravirt_release_pte()
350 	PVOP_VCALL1(mmu.release_pmd, pfn);  in paravirt_release_pmd()
359 	PVOP_VCALL1(mmu.release_pud, pfn);  in paravirt_release_pud()
369 	PVOP_VCALL1(mmu.release_p4d, pfn);  in paravirt_release_p4d()
518 	PVOP_VCALL1(cpu.start_context_switch, prev);  in arch_start_context_switch()
523 	PVOP_VCALL1(cpu.end_context_switch, next);  in arch_end_context_switch()
569 	PVOP_VCALL1(lock.kick, cpu);  in pv_kick()
683 #undef PVOP_VCALL1