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