Symbol: APIC_INT_PIN_SHIFT