Symbol: IOSAPIC_REG_EOI