Searched refs:intr_status_old (Results 1 – 1 of 1) sorted by relevance
3919 uint16_t intr_status_old, intr_status_new; in vmx_inject_pir() local3990 intr_status_old = vmcs_read(VMCS_GUEST_INTR_STATUS); in vmx_inject_pir()3991 intr_status_new = (intr_status_old & 0xFF00) | rvi; in vmx_inject_pir()3992 if (intr_status_new > intr_status_old) { in vmx_inject_pir()3996 intr_status_old, intr_status_new); in vmx_inject_pir()