void debuggerIo(int n, char **args)
static void debuggerIo(int n, char **args)
void debuggerIo(int n, char **args){  if(n == 1) {    debuggerIoVideo();    return;  }  if(!strcmp(args[1], "video"))    debuggerIoVideo();  else if(!strcmp(args[1], "video2"))    debuggerIoVideo2();  else if(!strcmp(args[1], "dma"))    debuggerIoDMA();  else if(!strcmp(args[1], "timer"))    debuggerIoTimer();  else if(!strcmp(args[1], "misc"))    debuggerIoMisc();  else printf("Unrecognized option %s\n", args[1]);}