Searched refs:highest_irq (Results 1 – 1 of 1) sorted by relevance
368 int highest_irq; in apix_init() local374 highest_irq = apic_io_vectend[0]; in apix_init()378 if (apic_io_vectend[i] > highest_irq) in apix_init()379 highest_irq = apic_io_vectend[i]; in apix_init()382 highest_irq - lowest_irq + 1; in apix_init()