tag	line	file	source code
pcxx_nbios	95	drivers/char/pcxx.c	int pcxx_nbios=sizeof(pcxx_bios);
pcxx_nbios	1168	drivers/char/pcxx.c	memcpy(bios, pcxx_bios, pcxx_nbios);
pcxx_nbios	1189	drivers/char/pcxx.c	memcpy(bios, pcxx_bios, pcxx_nbios);