ioapic/x86_64: Allow GSI > 191
authorSepherosa Ziehau <sephe@dragonflybsd.org>
Tue, 30 Oct 2012 02:53:59 +0000 (10:53 +0800)
committerSepherosa Ziehau <sephe@dragonflybsd.org>
Thu, 1 Nov 2012 01:38:26 +0000 (09:38 +0800)
commit343b4f3a4f6822a97c1e4b8fa2604a17240322af
tree9d6930e7d15128e513d875a645e0a6a34af6db0b
parentda1afaa6ae4391c77f313aeb89b752162c4f45e7
ioapic/x86_64: Allow GSI > 191

Some BIOSes seem to assume that all 256 IDT vectors could be used,
while we limit the available IDT vectors percpu to 192.   Find an
unused IRQ for these GSIs, if this ever happens.

Reported-by: thowe on EFnet #dragonflybsd
sys/platform/pc64/apic/ioapic_abi.c