187 typedef int (*vmexit_handler_t)(struct vmctx *, struct vcpu *, struct vm_exit *);
199 static void vm_loop(struct vmctx *ctx, struct vcpu *vcpu);
206 	struct vmctx    *ctx;
512 paddr_guest2host(struct vmctx *ctx, uintptr_t gaddr, size_t len)  in paddr_guest2host()
664 vmexit_inout(struct vmctx *ctx, struct vcpu *vcpu, struct vm_exit *vme)  in vmexit_inout()
697 vmexit_rdmsr(struct vmctx *ctx __unused, struct vcpu *vcpu, struct vm_exit *vme)  in vmexit_rdmsr()
726 vmexit_wrmsr(struct vmctx *ctx __unused, struct vcpu *vcpu, struct vm_exit *vme)  in vmexit_wrmsr()
744 vmexit_run_state(struct vmctx *ctx __unused, struct vcpu *vcpu __unused,  in vmexit_run_state()
756 vmexit_paging(struct vmctx *ctx __unused, struct vcpu *vcpu,  in vmexit_paging()
793 vmexit_vmx(struct vmctx *ctx, struct vcpu *vcpu, struct vm_exit *vme)  in vmexit_vmx()
826 vmexit_svm(struct vmctx *ctx __unused, struct vcpu *vcpu, struct vm_exit *vme)  in vmexit_svm()
840 vmexit_bogus(struct vmctx *ctx __unused, struct vcpu *vcpu __unused,  in vmexit_bogus()
850 vmexit_hlt(struct vmctx *ctx __unused, struct vcpu *vcpu __unused,  in vmexit_hlt()
863 vmexit_pause(struct vmctx *ctx __unused, struct vcpu *vcpu __unused,  in vmexit_pause()
870 vmexit_mtrap(struct vmctx *ctx __unused, struct vcpu *vcpu, struct vm_exit *vme)  in vmexit_mtrap()
881 vmexit_inst_emul(struct vmctx *ctx __unused, struct vcpu *vcpu,  in vmexit_inst_emul()
910 vmexit_mmio(struct vmctx *ctx __unused, struct vcpu *vcpu, struct vm_exit *vme)  in vmexit_mmio()
949 vmexit_suspend(struct vmctx *ctx, struct vcpu *vcpu, struct vm_exit *vme)  in vmexit_suspend()
977 vmexit_debug(struct vmctx *ctx __unused, struct vcpu *vcpu,  in vmexit_debug()
986 vmexit_breakpoint(struct vmctx *ctx __unused, struct vcpu *vcpu,  in vmexit_breakpoint()
996 vmexit_ipi(struct vmctx *ctx __unused, struct vcpu *vcpu __unused,  in vmexit_ipi()
1055 vm_loop(struct vmctx *ctx, struct vcpu *vcpu)  in vm_loop()
1103 num_vcpus_allowed(struct vmctx *ctx, struct vcpu *vcpu)  in num_vcpus_allowed()
1188 static struct vmctx *
1191 	struct vmctx *ctx;  in do_open()
1387 	struct vmctx *ctx;  in main()