126 static void decode_rx_zr_token(uint32_t reg, const char *prefix, char *instr_part)  in decode_rx_zr_token()  argument
128     if(reg == 31)  in decode_rx_zr_token()
131         sprintf(instr_part, "%s%d", prefix, reg);  in decode_rx_zr_token()
195         uint32_t reg = bits_unsigned(code, 20,16);  in decode_token()  local
196         if(reg == 31)  in decode_token()
199             sprintf(instr_part, "%d", reg);  in decode_token()
229         uint32_t reg = bits_unsigned(code, 9, 5);  in decode_token()  local
230         if(reg == 31)  in decode_token()
233             sprintf(instr_part, "x%d", reg);  in decode_token()
237         uint32_t reg = bits_unsigned(code, 4, 0);  in decode_token()  local
238         if(reg == 31)  in decode_token()
241             sprintf(instr_part, "x%d", reg);  in decode_token()