tag	line	file	source code
vt_kern.h	106	drivers/char/console.c	#include "vt_kern.h"
vt_kern.h	34	drivers/char/keyboard.c	#include "vt_kern.h"
vt_kern.h	62	drivers/char/tty_io.c	#include "vt_kern.h"
vt_kern.h	25	drivers/char/vt.c	#include "vt_kern.h"