3090     uint64 code_value = extract_code_2_1_0(instruction);  in BREAK_16_()  local
3093     return img_format("BREAK 0x%" PRIx64, code_value);  in BREAK_16_()
3109     uint64 code_value = extract_code_18_to_0(instruction);  in BREAK_32_()  local
3112     return img_format("BREAK 0x%" PRIx64, code_value);  in BREAK_32_()
7377     uint64 code_value = extract_code_17_to_0(instruction);  in HYPCALL()  local
7380     return img_format("HYPCALL 0x%" PRIx64, code_value);  in HYPCALL()
7396     uint64 code_value = extract_code_1_0(instruction);  in HYPCALL_16_()  local
7399     return img_format("HYPCALL 0x%" PRIx64, code_value);  in HYPCALL_16_()
12813     uint64 code_value = extract_code_2_1_0(instruction);  in SDBBP_16_()  local
12816     return img_format("SDBBP 0x%" PRIx64, code_value);  in SDBBP_16_()
12832     uint64 code_value = extract_code_18_to_0(instruction);  in SDBBP_32_()  local
12835     return img_format("SDBBP 0x%" PRIx64, code_value);  in SDBBP_32_()
14021     uint64 code_value = extract_code_18_to_0(instruction);  in SIGRIE()  local
14024     return img_format("SIGRIE 0x%" PRIx64, code_value);  in SIGRIE()
15325     uint64 code_value = extract_code_1_0(instruction);  in SYSCALL_16_()  local
15328     return img_format("SYSCALL 0x%" PRIx64, code_value);  in SYSCALL_16_()
15342     uint64 code_value = extract_code_17_to_0(instruction);  in SYSCALL_32_()  local
15345     return img_format("SYSCALL 0x%" PRIx64, code_value);  in SYSCALL_32_()
15876     uint64 code_value = extract_code_25_24_23_22_21_20_19_18_17_16(instruction);  in WAIT()  local
15879     return img_format("WAIT 0x%" PRIx64, code_value);  in WAIT()