int main(int argc, char **argv)
{
unsigned int ctr;
const SD_workstation_t *workstations;
int total_nworkstations;
xbt_dict_t current_storage_list;
char *mount_name;
char *storage_name;
xbt_dict_cursor_t cursor = NULL;
SD_init(&argc, argv);
/* Set the workstation model to default, as storage is not supported by the
* ptask_L07 model yet.
*/
SD_config("host/model", "default");
SD_create_environment(argv[1]);
workstations = SD_workstation_get_list();
total_nworkstations = SD_workstation_get_number();
for (ctr=0; ctr<total_nworkstations;ctr++){
current_storage_list = SD_workstation_get_mounted_storage_list(workstations[ctr]);
xbt_dict_foreach(current_storage_list,cursor,mount_name,storage_name)
XBT_INFO("Workstation '%s' mounts '%s'",
SD_workstation_get_name(workstations[ctr]), mount_name);
xbt_dict_free(¤t_storage_list);
}
SD_exit();
return 0;
}
static int cardhu_irda_init(void)
{
int ret = 0;
FPRINT("Start of the Func %s\n", __func__);
if (SD_config() < 0) {
pr_err("%s: Error in IRDA_SD signal configuration\n", __func__);
ret = -1;
}
return ret;
}