Searched refs:intr_status_new (Results 1 – 1 of 1) sorted by relevance
4008 uint16_t intr_status_old, intr_status_new; in vmx_inject_pir() local4080 intr_status_new = (intr_status_old & 0xFF00) | rvi; in vmx_inject_pir()4081 if (intr_status_new > intr_status_old) { in vmx_inject_pir()4082 vmcs_write(VMCS_GUEST_INTR_STATUS, intr_status_new); in vmx_inject_pir()4085 intr_status_old, intr_status_new); in vmx_inject_pir()