if ( nestedhvm_vcpu_in_guestmode(v) ) {
pin_based_cntrl = __get_vvmcs(vcpu_nestedhvm(v).nv_vvmcx,
PIN_BASED_VM_EXEC_CONTROL);
- if ( pin_based_cntrl && PIN_BASED_EXT_INTR_MASK ) {
+ if ( pin_based_cntrl & PIN_BASED_EXT_INTR_MASK ) {
nvmx_enqueue_n2_exceptions (v,
INTR_INFO_VALID_MASK | (X86_EVENTTYPE_EXT_INTR<<8) | trap,
HVM_DELIVER_NO_ERROR_CODE);
if ( nestedhvm_vcpu_in_guestmode(v) ) {
pin_based_cntrl = __get_vvmcs(vcpu_nestedhvm(v).nv_vvmcx,
PIN_BASED_VM_EXEC_CONTROL);
- if ( pin_based_cntrl && PIN_BASED_NMI_EXITING ) {
+ if ( pin_based_cntrl & PIN_BASED_NMI_EXITING ) {
nvmx_enqueue_n2_exceptions (v,
INTR_INFO_VALID_MASK | (X86_EVENTTYPE_NMI<<8) | TRAP_nmi,
HVM_DELIVER_NO_ERROR_CODE);