printk("read(stdin) returned -1\r\n"); 
printf("read(stdin) returned -1\r\n"); 
readchar(void){	char ch;	for (;;) {		switch (read(stdin, &ch, 1)) {		case 1:			return ch;		case -1:			printk("read(stdin) returned -1\r\n");			return -1;		}	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e6019db5a7f110839c62cefc073b6dc1143d6403/prom.c/clean/arch/ppc64/boot/prom.c