-/* $OpenBSD: vmm.c,v 1.213 2018/07/11 13:19:42 mlarkin Exp $ */
+/* $OpenBSD: vmm.c,v 1.214 2018/07/11 18:04:18 nayden Exp $ */
/*
* Copyright (c) 2014 Mike Larkin <mlarkin@openbsd.org>
*
vmm_softc->mode == VMM_MODE_RVI)
return vm_impl_init_svm(vm, p);
else
- panic("unknown vmm mode");
+ panic("%s: unknown vmm mode: %d", __func__, vmm_softc->mode);
}
/*
vmm_softc->mode == VMM_MODE_RVI)
vm_impl_deinit_svm(vm);
else
- panic("unknown vmm mode");
+ panic("%s: unknown vmm mode: %d", __func__, vmm_softc->mode);
}
/*
vmm_softc->mode == VMM_MODE_RVI)
ret = vcpu_reset_regs_svm(vcpu, vrs);
else
- panic("unknown vmm mode");
+ panic("%s: unknown vmm mode: %d", __func__, vmm_softc->mode);
return (ret);
}
vmm_softc->mode == VMM_MODE_RVI)
ret = vcpu_init_svm(vcpu);
else
- panic("unknown vmm mode");
+ panic("%s: unknown vmm mode: %d", __func__, vmm_softc->mode);
return (ret);
}
vmm_softc->mode == VMM_MODE_RVI)
vcpu_deinit_svm(vcpu);
else
- panic("unknown vmm mode");
+ panic("%s: unknown vmm mode: %d", __func__, vmm_softc->mode);
}
/*
else if (vmm_softc->mode == VMM_MODE_RVI)
return vmx_get_guest_faulttype();
else
- panic("unknown vmm mode");
+ panic("%s: unknown vmm mode: %d", __func__, vmm_softc->mode);
}
/*
-/* $OpenBSD: vmm.c,v 1.39 2018/05/24 07:27:41 mlarkin Exp $ */
+/* $OpenBSD: vmm.c,v 1.40 2018/07/11 18:04:18 nayden Exp $ */
/*
* Copyright (c) 2014 Mike Larkin <mlarkin@openbsd.org>
*
vcpu_readregs_svm(vcpu, vrwp->vrwp_mask, vrs) :
vcpu_writeregs_svm(vcpu, vrwp->vrwp_mask, vrs);
else
- panic("unknown vmm mode");
+ panic("%s: unknown vmm mode: %d", __func__, vmm_softc->mode);
}
/*
vmm_softc->mode == VMM_MODE_RVI)
return vm_impl_init_svm(vm, p);
else
- panic("unknown vmm mode");
+ panic("%s: unknown vmm mode: %d", __func__, vmm_softc->mode);
}
/*
vmm_softc->mode == VMM_MODE_RVI)
vm_impl_deinit_svm(vm);
else
- panic("unknown vmm mode");
+ panic("%s: unknown vmm mode: %d", __func__, vmm_softc->mode);
}
/*
vmm_softc->mode == VMM_MODE_RVI)
ret = vcpu_reset_regs_svm(vcpu, vrs);
else
- panic("unknown vmm mode");
+ panic("%s: unknown vmm mode: %d", __func__, vmm_softc->mode);
return (ret);
}
vmm_softc->mode == VMM_MODE_RVI)
ret = vcpu_init_svm(vcpu);
else
- panic("unknown vmm mode");
+ panic("%s: unknown vmm mode: %d", __func__, vmm_softc->mode);
return (ret);
}
vmm_softc->mode == VMM_MODE_RVI)
vcpu_deinit_svm(vcpu);
else
- panic("unknown vmm mode");
+ panic("%s: unknown vmm mode: %d", __func__, vmm_softc->mode);
}
/*
else if (vmm_softc->mode == VMM_MODE_RVI)
return vmx_get_guest_faulttype();
else
- panic("unknown vmm mode");
+ panic("%s: unknown vmm mode: %d", __func__, vmm_softc->mode);
}
/*