IOAPIC_MAX_ID
ioapics = malloc(sizeof(*ioapics) * (IOAPIC_MAX_ID + 1), M_MADT,
for (i = 0; i <= IOAPIC_MAX_ID; i++)
if (apic->Id > IOAPIC_MAX_ID)
for (i = 0; i <= IOAPIC_MAX_ID; i++) {
if (intpin->io_cpu <= IOAPIC_MAX_ID) {
static ioapic_drv_t ioapics[IOAPIC_MAX_ID + 1];
for (i = 0; i <= IOAPIC_MAX_ID; i++)
if (apic->apic_id > IOAPIC_MAX_ID)
if (apic_id > IOAPIC_MAX_ID) {