Searched refs:SerialHead (Results 1 – 3 of 3) sorted by relevance
29 char *SerialHead = serial_buf; /* Head of serial port rx buffer */ variable46 dst = SerialHead; in irq_common()64 SerialHead = dst; in irq_common()203 memcpy(SerialHead, 0x0, serial_buf_size); in sirq_cleanup()
168 if (SerialTail == SerialHead) { in bios_pollchar()222 if (SerialTail != SerialHead) { in bios_getchar()227 if (SerialTail > SerialHead + serial_buf_size) in bios_getchar()228 SerialTail = SerialHead; in bios_getchar()
87 extern char *SerialHead;