527 vmmops_gla2gpa(void *vcpui, struct vm_guest_paging *paging, uint64_t gla,  in vmmops_gla2gpa()  argument
603 vmmops_run(void *vcpui, register_t pc, pmap_t pmap, struct vm_eventinfo *evinfo)  in vmmops_run()  argument
612 	hypctx = (struct hypctx *)vcpui;  in vmmops_run()
743 vmmops_vcpu_cleanup(void *vcpui)  in vmmops_vcpu_cleanup()  argument
747 	hypctx = vcpui;  in vmmops_vcpu_cleanup()
855 vmmops_getreg(void *vcpui, int reg, uint64_t *retval)  in vmmops_getreg()  argument
861 	hypctx = vcpui;  in vmmops_getreg()
883 vmmops_setreg(void *vcpui, int reg, uint64_t val)  in vmmops_setreg()  argument
889 	hypctx = vcpui;  in vmmops_setreg()
906 vmmops_exception(void *vcpui, uint64_t scause)  in vmmops_exception()  argument
911 	hypctx = vcpui;  in vmmops_exception()
924 vmmops_getcap(void *vcpui, int num, int *retval)  in vmmops_getcap()  argument
947 vmmops_setcap(void *vcpui, int num, int val)  in vmmops_setcap()  argument