24 char *get_error_message(renode_error_t *error)  in get_error_message()  argument
26     if (error->message == NULL)  in get_error_message()
30     return error->message;  in get_error_message()
35     renode_error_t *error;  in try_renode_disconnect()  local
36     if ((error = renode_disconnect(renode)) != NO_ERROR) {  in try_renode_disconnect()
37         fprintf(stderr, "Disconnecting from Renode failed with: %s\n", get_error_message(error));  in try_renode_disconnect()
92     renode_error_t *error;  in main()  local
94     if ((error = renode_connect(argv[1], &renode)) != NO_ERROR) {  in main()
95         fprintf(stderr, "Connecting to Renode failed with: %s\n", get_error_message(error));  in main()
100     if ((error = renode_get_machine(renode, machine_name, &machine)) != NO_ERROR) {  in main()
101 …f(stderr, "Getting '%s' machine object failed with: %s\n", machine_name, get_error_message(error));  in main()
106     if ((error = renode_get_gpio(machine, gpio_name, &gpio)) != NO_ERROR) {  in main()
107 … fprintf(stderr, "Getting '%s' ADC object failed with: %s\n", gpio_name, get_error_message(error));  in main()
121 …if ((error = renode_register_gpio_state_change_callback(gpio, number, &user_data, gpio_callback)) …  in main()
122 …stering event on pin #%d for '%s' failed with: %s\n", number, gpio_name, get_error_message(error));  in main()
127             if ((error = renode_run_for(renode, TU_SECONDS, 60)) != NO_ERROR) {  in main()
128                 fprintf(stderr, "Run for failed with: %s\n", get_error_message(error));  in main()
133         if ((error = renode_set_gpio_state(gpio, number, state)) != NO_ERROR) {  in main()
134 …Setting state on pin #%d for '%s' failed with: %s\n", number, gpio_name, get_error_message(error));  in main()
140         if ((error = renode_get_gpio_state(gpio, number, &state)) != NO_ERROR) {  in main()
141 …Getting state on pin #%d for '%s' failed with: %s\n", number, gpio_name, get_error_message(error));  in main()
166     renode_free_error(error);  in main()