{"body":"40 int                                                                             \n 41 main (int argc, char *argv[])                                                   \n 42 {                                                                               \n 43         UIOMux *uiomux;                                                         \n 44         int i, ret, count;                                                      \n 45         char **name, **name2;                                                   \n 46         uiomux_resource_t val;                                                  \n 47                                                                                 \n 48         INFO(\"List available devices\");                                         \n 49         uiomux_list_device(&name, &count);                                      \n 50                                                                                 \n 51         for (i = 0; i < count; i++)                             \n 52                 printf(name[i]);   ","name":"","extension":"txt","url":"https://www.irccloud.com/pastebin/GsUiGBCR","modified":1490764272,"id":"GsUiGBCR","size":1042,"lines":13,"own_paste":false,"theme":"","date":1490764272}