tag	line	file	source code
VGA_CAN_DO_64KB	2078	drivers/char/console.c	#ifdef VGA_CAN_DO_64KB
VGA_CAN_DO_64KB	2404	drivers/char/console.c	#ifdef VGA_CAN_DO_64KB