# Pastebin GsUiGBCR
40 int                                                                             
 41 main (int argc, char *argv[])                                                   
 42 {                                                                               
 43         UIOMux *uiomux;                                                         
 44         int i, ret, count;                                                      
 45         char **name, **name2;                                                   
 46         uiomux_resource_t val;                                                  
 47                                                                                 
 48         INFO("List available devices");                                         
 49         uiomux_list_device(&name, &count);                                      
 50                                                                                 
 51         for (i = 0; i < count; i++)                             
 52                 printf(name[i]);