tasklist         1059 core/gui_osd.c     int tasklist[TASKLIST_NUM_TASKS]; // max number of tasks we will look at
tasklist         1063 core/gui_osd.c     n_tasks = task_id_list_get(tasklist,sizeof(tasklist)/sizeof(tasklist[0]));
tasklist         1080 core/gui_osd.c         name = task_name(tasklist[show_start+i]);
tasklist         1084 core/gui_osd.c         sprintf(osd_buf,"%10s %8X",name,tasklist[show_start+i]);