Intervalcount    7396 drivers/tty/synclink.c 	unsigned short Intervalcount = count / PCI_LOAD_INTERVAL;
Intervalcount    7400 drivers/tty/synclink.c 	for ( Index = 0 ; Index < Intervalcount ; Index++ )