tag	line	file	source code
pg0	1381	kernel/chr_drv/keyboard.c	extern unsigned long pg0[1024];
pg0	1385	kernel/chr_drv/keyboard.c	pg0[0] = 7;