6029 typedef /*signed*/ int tConsoleTaskNum; /* ("signed" for simplicity only) */  typedef
6046 static tConsoleTaskNum console_task_num = 0,
6051 #define console_ctxidx ( (tConsoleTaskNum) (MY_POINTER_TO_INT(context->data)) )
6101 static void console_task_print_info(tConsoleTaskNum idx, const char* prefix)  in console_task_print_info()
6132 static void console_task_switch(tConsoleTaskNum idx, tBoolean did_create)  in console_task_switch()
6149 static tConsoleTaskNum console_task_create(void)  in console_task_create()
6150 { tConsoleTaskNum idx = 0, tempidx;  in console_task_create()
6178 static void console_task_remove(tConsoleTaskNum idx, tBoolean print_notice)  in console_task_remove()
6192 static tConsoleTaskNum task_str2idx(const char* str)  in task_str2idx()
6193 { tConsoleTaskNum id, idx;  in task_str2idx()
6235 { tConsoleTaskNum task_idx = (tConsoleTaskNum) MY_POINTER_TO_INT(rw->data1);  in rwd_cb_ctr()
6241 static void console_schedule_task_removal(tConsoleTaskNum task_idx)  in console_schedule_task_removal()
6251 { const tConsoleTaskNum task_idx = (tConsoleTaskNum) MY_POINTER_TO_INT(_idx);  in console_download_request_callback()
6305   tConsoleTaskNum task_idx;  in console_download()
6380 { const tConsoleTaskNum task_idx = (tConsoleTaskNum) MY_POINTER_TO_INT(_idx);  in console_execext_shell_request_callback()
6435     tConsoleTaskNum task_idx;  in console_execext_shell()
6467   tConsoleTaskNum task_idx;  in console_handle_cccc()
6589 { tConsoleTaskNum idx = (tConsoleTaskNum) MY_POINTER_TO_INT(_idx);  in console_request_callback()
6628 { const tConsoleTaskNum idx = console_task_create();  in console_do_open()
6797 { const tConsoleTaskNum task_idx = (tConsoleTaskNum)  in console_handle_res()