tag	line	file	source code
VGA_CAN_DO_64KB	2079	drivers/char/console.c	#ifdef VGA_CAN_DO_64KB
VGA_CAN_DO_64KB	2405	drivers/char/console.c	#ifdef VGA_CAN_DO_64KB