Searched refs:highest_irq (Results 1 – 1 of 1) sorted by relevance
378 int highest_irq; in apix_init() local384 highest_irq = apic_io_vectend[0]; in apix_init()388 if (apic_io_vectend[i] > highest_irq) in apix_init()389 highest_irq = apic_io_vectend[i]; in apix_init()392 highest_irq - lowest_irq + 1; in apix_init()