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>
Tue, 30 Oct 2012 02:53:59 +0000 (10:53 +0800)
commitaad8a0a7da2699f0f3c23b136290c32b4ef7c4f4
treeb8dc641d9623feaf11026b4d3e19907c1ae8028f
parentf8a7506473aa7a5a8f1871d5af183ad368d5e9be
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