62 	PVOP_VCALL1(mmu.flush_tlb_one_user, addr);  in __flush_tlb_one_user()
78 	PVOP_VCALL1(mmu.exit_mmap, mm);  in paravirt_arch_exit_mmap()
84 	PVOP_VCALL1(cpu.load_sp0, sp0);  in load_sp0()
114 	PVOP_VCALL1(cpu.write_cr0, x);  in write_cr0()
124 	PVOP_VCALL1(mmu.write_cr2, x);  in write_cr2()
134 	PVOP_VCALL1(mmu.write_cr3, x);  in write_cr3()
139 	PVOP_VCALL1(cpu.write_cr4, x);  in __write_cr4()
253 	PVOP_VCALL1(cpu.load_gdt, dtr);  in load_gdt()
257 	PVOP_VCALL1(cpu.load_idt, dtr);  in load_idt()
277 	PVOP_VCALL1(cpu.load_gs_index, gs);  in load_gs_index()
299 	PVOP_VCALL1(cpu.set_iopl_mask, mask);  in set_iopl_mask()
330 	PVOP_VCALL1(mmu.release_pte, pfn);  in paravirt_release_pte()
340 	PVOP_VCALL1(mmu.release_pmd, pfn);  in paravirt_release_pmd()
349 	PVOP_VCALL1(mmu.release_pud, pfn);  in paravirt_release_pud()
359 	PVOP_VCALL1(mmu.release_p4d, pfn);  in paravirt_release_p4d()
583 	PVOP_VCALL1(mmu.pmd_clear, pmdp);  in pmd_clear()
606 	PVOP_VCALL1(cpu.start_context_switch, prev);  in arch_start_context_switch()
611 	PVOP_VCALL1(cpu.end_context_switch, next);  in arch_end_context_switch()
657 	PVOP_VCALL1(lock.kick, cpu);  in pv_kick()
786 #undef PVOP_VCALL1