vmx.c (54b4b13c4aeea1f00acd809286a9d7c9fa1accfa) vmx.c (bd50262f705c4fed70ea94d16a0f19b5f5497cf2)
1/*-
2 * SPDX-License-Identifier: BSD-2-Clause-FreeBSD
3 *
4 * Copyright (c) 2011 NetApp, Inc.
5 * All rights reserved.
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions

--- 681 unchanged lines hidden (view full) ---

690 /*
691 * Check for Posted Interrupts only if Virtual Interrupt
692 * Delivery is enabled.
693 */
694 error = vmx_set_ctlreg(MSR_VMX_PINBASED_CTLS,
695 MSR_VMX_TRUE_PINBASED_CTLS, PINBASED_POSTED_INTERRUPT, 0,
696 &tmp);
697 if (error == 0) {
1/*-
2 * SPDX-License-Identifier: BSD-2-Clause-FreeBSD
3 *
4 * Copyright (c) 2011 NetApp, Inc.
5 * All rights reserved.
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions

--- 681 unchanged lines hidden (view full) ---

690 /*
691 * Check for Posted Interrupts only if Virtual Interrupt
692 * Delivery is enabled.
693 */
694 error = vmx_set_ctlreg(MSR_VMX_PINBASED_CTLS,
695 MSR_VMX_TRUE_PINBASED_CTLS, PINBASED_POSTED_INTERRUPT, 0,
696 &tmp);
697 if (error == 0) {
698 pirvec = lapic_ipi_alloc(&IDTVEC(justreturn));
698 pirvec = lapic_ipi_alloc(pti ? &IDTVEC(justreturn1_pti) :
699 &IDTVEC(justreturn));
699 if (pirvec < 0) {
700 if (bootverbose) {
701 printf("vmx_init: unable to allocate "
702 "posted interrupt vector\n");
703 }
704 } else {
705 posted_interrupts = 1;
706 TUNABLE_INT_FETCH("hw.vmm.vmx.use_apic_pir",

--- 2756 unchanged lines hidden --- 		700 if (pirvec < 0) {
701 if (bootverbose) {
702 printf("vmx_init: unable to allocate "
703 "posted interrupt vector\n");
704 }
705 } else {
706 posted_interrupts = 1;
707 TUNABLE_INT_FETCH("hw.vmm.vmx.use_apic_pir",

--- 2756 unchanged lines hidden ---