-/* $OpenBSD: vm.c,v 1.58 2020/06/28 16:52:45 pd Exp $ */
+/* $OpenBSD: vm.c,v 1.59 2021/02/13 07:56:26 mlarkin Exp $ */
/*
* Copyright (c) 2015 Mike Larkin <mlarkin@openbsd.org>
}
/*
- * vm_ctl
+ * vm_shutdown
*
* Tell the vmm parent process to shutdown or reboot the VM and exit.
*/
/* Still more pending? */
if (i8259_is_pending()) {
- /* XXX can probably avoid ioctls here by providing intr in vrp */
+ /*
+ * XXX can probably avoid ioctls here by providing intr
+ * in vrp
+ */
if (vcpu_pic_intr(vrp->vrp_vm_id,
vrp->vrp_vcpu_id, 1)) {
fatal("can't set INTR");
*
* handle an EPT Violation
*
- *
* Parameters:
* vrp: vcpu run parameters containing guest state for this exit
*
vcpu_exit_eptviolation(struct vm_run_params *vrp)
{
struct vm_exit *ve = vrp->vrp_exit;
+
/*
* vmd may be exiting to vmd to handle a pending interrupt
- * but last exit type may have bee VMX_EXIT_EPT_VIOLATION,
+ * but last exit type may have been VMX_EXIT_EPT_VIOLATION,
* check the fault_type to ensure we really are processing
* a VMX_EXIT_EPT_VIOLATION.
*/