Symbol: isa_regs_t