Searched refs:NULL_VECTOR (Results 1 – 4 of 4) sorted by relevance
649 return NULL_VECTOR; in highest_bits()659 || ((pending != NULL_VECTOR) in is_higher_irq()660 && (inservice == NULL_VECTOR))); in is_higher_irq()
688 if (h_pending == NULL_VECTOR) { in check_pending_irq()689 update_vhpi(vcpu, NULL_VECTOR); in check_pending_irq()702 update_vhpi(vcpu, NULL_VECTOR); in check_pending_irq()
887 if (vec == NULL_VECTOR) in vcpu_set_eoi()961 if (vec == NULL_VECTOR) in update_vhpi()983 if (vec == NULL_VECTOR || mask == IRQ_MASKED_BY_INSVC) { in vcpu_get_ivr()985 update_vhpi(vcpu, NULL_VECTOR); in vcpu_get_ivr()2070 update_vhpi(vcpu, NULL_VECTOR); in init_vcpu()
216 #define NULL_VECTOR (-1) macro