tag	line	file	source code
vt_kern.h	48	kernel/chr_drv/console.c	#include "vt_kern.h"
vt_kern.h	27	kernel/chr_drv/tty_io.c	#include "vt_kern.h"
vt_kern.h	17	kernel/chr_drv/vt.c	#include "vt_kern.h"