Symbol: IOAPIC_NUM_PINS