taglinefilesource code
vt_kern.h54drivers/char/console.c#include "vt_kern.h"
vt_kern.h59drivers/char/tty_io.c#include "vt_kern.h"
vt_kern.h22drivers/char/vt.c#include "vt_kern.h"