tag	line	file	source code
maxhead	94	kernel/chr_drv/serial.c	int maxhead = (queue->tail-1) & (TTY_BUF_SIZE-1);
maxhead	99	kernel/chr_drv/serial.c	if (head != maxhead) {