Symbol: isa_intr_info_t