Searched refs:event_data (Results 1 – 1 of 1) sorted by relevance
50 void gpio_callback(void *user_data, renode_gpio_event_data_t *event_data) in gpio_callback() argument53 …%d in %s %sset", udata->machine_name, udata->pin_no, udata->gpio_name, event_data->state ? "" : "u… in gpio_callback()54 printf(" at %lu us\n", event_data->timestamp_us); in gpio_callback()