switchConsole      29 keyboard.c     extern void switchConsole(long console);
switchConsole     224 keyboard.c     						switchConsole(0);
switchConsole     228 keyboard.c     						switchConsole(1);
switchConsole     232 keyboard.c     						switchConsole(2);
switchConsole     236 keyboard.c     						switchConsole(3);