tag	line	file	source code
kbdapplic	875	kernel/chr_drv/console.c	kbdapplic  = 0;
kbdapplic	1014	kernel/chr_drv/console.c	SET(kbdapplic,kapplic,0);
kbdapplic	1017	kernel/chr_drv/console.c	SET(kbdapplic,kapplic,1);
kbdapplic	1350	kernel/chr_drv/console.c	kbdapplic = kapplic;
kbdapplic	1358	kernel/chr_drv/console.c	kapplic = kbdapplic;