APIC ABI: Support 32 IDT vectors
authorSepherosa Ziehau <sephe@dragonflybsd.org>
Fri, 17 Jul 2009 11:14:17 +0000 (19:14 +0800)
committerSepherosa Ziehau <sephe@dragonflybsd.org>
Fri, 17 Jul 2009 11:46:31 +0000 (19:46 +0800)
commitfe5f755a92477344dcb7e975027a5d7ee154451a
tree529e1c24cc86795c3411fb8e4b18cfd7b8dcc793
parenta37124a7253b462c306056380125cd54c5e618be
APIC ABI: Support 32 IDT vectors

For two IO APIC hardware configuration, it is now common that number
of needed IDT vectors goes beyond 24, since we pre-allocate the PCI
irq number (irq number and IDT vector is 1:1 mapping) during MP table
parsing.

Reported-by: y0netan1@
sys/platform/pc32/apic/apic_abi.c
sys/platform/pc32/apic/apic_ipl.h
sys/platform/pc32/apic/apic_vector.s
sys/platform/pc32/include/smp.h