27 char *get_error_message(renode_error_t *error)  in get_error_message()  argument
29     if (error->message == NULL)  in get_error_message()
33     return error->message;  in get_error_message()
38     renode_error_t *error;  in try_renode_disconnect()  local
39     if ((error = renode_disconnect(renode)) != NO_ERROR) {  in try_renode_disconnect()
40         fprintf(stderr, "Disconnecting from Renode failed with: %s\n", get_error_message(error));  in try_renode_disconnect()
107     renode_error_t *error;  in main()  local
109     if ((error = renode_connect(argv[1], &renode)) != NO_ERROR) {  in main()
110         fprintf(stderr, "Connecting to Renode failed with: %s\n", get_error_message(error));  in main()
115     if ((error = renode_get_machine(renode, machine_name, &machine)) != NO_ERROR) {  in main()
116 …f(stderr, "Getting '%s' machine object failed with: %s\n", machine_name, get_error_message(error));  in main()
121     if ((error = renode_get_adc(machine, adc_name, &adc)) != NO_ERROR) {  in main()
122 …  fprintf(stderr, "Getting '%s' ADC object failed with: %s\n", adc_name, get_error_message(error));  in main()
129     if ((error = renode_get_adc_channel_count(adc, &ch_count)) != NO_ERROR) {  in main()
130 …tf(stderr, "Getting channel count for '%s' failed with: %s\n", adc_name, get_error_message(error));  in main()
143     if ((error = renode_get_adc_channel_value(adc, 0, &val0)) != NO_ERROR) {  in main()
144 …stderr, "Getting channel #0 value for '%s' failed with: %s\n", adc_name, get_error_message(error));  in main()
151     if ((error = renode_set_adc_channel_value(adc, 0, val1)) != NO_ERROR) {  in main()
152 …stderr, "Setting channel #0 value for '%s' failed with: %s\n", adc_name, get_error_message(error));  in main()
159     if ((error = renode_get_adc_channel_value(adc, 0, &val2)) != NO_ERROR) {  in main()
160 …stderr, "Getting channel #0 value for '%s' failed with: %s\n", adc_name, get_error_message(error));  in main()
189     renode_free_error(error);  in main()