Symbol: regs_query_register_name