| /* | 
 |  * Copyright (C) Paul Mackerras 1997. | 
 |  * | 
 |  * This program is free software; you can redistribute it and/or | 
 |  * modify it under the terms of the GNU General Public License | 
 |  * as published by the Free Software Foundation; either version | 
 |  * 2 of the License, or (at your option) any later version. | 
 |  * | 
 |  * This is sort of a catchall for I/O related functions.  Stuff that | 
 |  * wouldn't be in 'stdio.h' normally is here, and it's 'nonstdio.h' | 
 |  * for a reason.  -- Tom | 
 |  */ | 
 | typedef int FILE; | 
 | extern FILE *stdin, *stdout; | 
 | #define NULL ((void *)0) | 
 | #define EOF (-1) | 
 | #define fopen(n, m) NULL | 
 | #define fflush(f) 0 | 
 | #define fclose(f) 0 | 
 | #define perror(s) printf("%s: no files!\n", (s)) | 
 |  | 
 | extern int getc(void); | 
 | extern int printf(const char *format, ...); | 
 | extern int sprintf(char *str, const char *format, ...); | 
 | extern int tstc(void); | 
 | extern void exit(void); | 
 | extern void outb(int port, unsigned char val); | 
 | extern void putc(const char c); | 
 | extern void puthex(unsigned long val); | 
 | extern void puts(const char *); | 
 | extern void udelay(long delay); | 
 | extern unsigned char inb(int port); | 
 | extern void board_isa_init(void); | 
 | extern void ISA_init(unsigned long base); |