Changed return type of serial_read_byte(), removed debugging comments.
authorPaul Pearce <pearce@eecs.berkeley.edu>
Fri, 29 May 2009 00:04:31 +0000 (20:04 -0400)
committerKevin Klues <klueska@cs.berkeley.edu>
Fri, 5 Jun 2009 01:00:40 +0000 (18:00 -0700)
commita3c71def511b141cd34227a40fc662dcc6b51838
tree66867937b2493137d18e41d2bda052ce0da04b17
parent6523bce16610fd136ef2a19f58c612cea810b0db
Changed return type of serial_read_byte(), removed debugging comments.

Fixed the return type of serial_read_byte() to be of type int, instead of
uint16. This prevented a return value of -1 to denote no data avaiable.
Also removed several printk statements specifying the systemcall occuring
include/arch/console.h
kern/src/console.c
kern/src/syscall.c