ipc_print_task 198 kernel/generic/include/ipc/ipc.h extern void ipc_print_task(task_id_t); ipc_print_task 1325 kernel/generic/src/console/cmd.c ipc_print_task(argv[0].intval);