316 static int vmx_getdesc(void *vcpui, int reg, struct seg_desc *desc);
317 static int vmx_getreg(void *vcpui, int reg, uint64_t *retval);
321 static int vmx_restore_tsc(void *vcpui, uint64_t now);
3038 vmx_run(void *vcpui, register_t rip, pmap_t pmap, struct vm_eventinfo *evinfo)  in vmx_run()  argument
3051 	vcpu = vcpui;  in vmx_run()
3245 vmx_vcpu_cleanup(void *vcpui)  in vmx_vcpu_cleanup()  argument
3247 	struct vmx_vcpu *vcpu = vcpui;  in vmx_vcpu_cleanup()
3409 vmx_getreg(void *vcpui, int reg, uint64_t *retval)  in vmx_getreg()  argument
3412 	struct vmx_vcpu *vcpu = vcpui;  in vmx_getreg()
3438 vmx_setreg(void *vcpui, int reg, uint64_t val)  in vmx_setreg()  argument
3443 	struct vmx_vcpu *vcpu = vcpui;  in vmx_setreg()
3507 vmx_getdesc(void *vcpui, int reg, struct seg_desc *desc)  in vmx_getdesc()  argument
3510 	struct vmx_vcpu *vcpu = vcpui;  in vmx_getdesc()
3522 vmx_setdesc(void *vcpui, int reg, struct seg_desc *desc)  in vmx_setdesc()  argument
3525 	struct vmx_vcpu *vcpu = vcpui;  in vmx_setdesc()
3537 vmx_getcap(void *vcpui, int type, int *retval)  in vmx_getcap()  argument
3539 	struct vmx_vcpu *vcpu = vcpui;  in vmx_getcap()
3591 vmx_setcap(void *vcpui, int type, int val)  in vmx_setcap()  argument
3593 	struct vmx_vcpu *vcpu = vcpui;  in vmx_setcap()
4093 vmx_vlapic_init(void *vcpui)  in vmx_vlapic_init()  argument
4100 	vcpu = vcpui;  in vmx_vlapic_init()
4143 vmx_vcpu_snapshot(void *vcpui, struct vm_snapshot_meta *meta)  in vmx_vcpu_snapshot()  argument
4152 	vcpu = vcpui;  in vmx_vcpu_snapshot()
4255 vmx_restore_tsc(void *vcpui, uint64_t offset)  in vmx_restore_tsc()  argument
4257 	struct vmx_vcpu *vcpu = vcpui;  in vmx_restore_tsc()