1 /* $NetBSD: boot.h,v 1.3 2001/06/19 11:56:28 nonaka Exp $ */ 2 3 #define TICKS_PER_SEC (33000000 / 4) /* 33MHz */ 4 #define NS_PER_TICK (1000000000 / TICKS_PER_SEC) 5 6 /* 7 * srt0 8 */ 9 void run __P((void *, void *, void *, void *, void *)); 10 11 /* 12 * clock 13 */ 14 void delay __P((u_int)); 15 16 /* 17 * com 18 */ 19 int comspeed __P((long)); 20 21 /* 22 * console 23 */ 24 char *cninit __P((int *, int *)); 25 int cngetc __P((void)); 26 void cnputc __P((int)); 27 int cnscan __P((void)); 28 29 /* 30 * fd 31 */ 32 int fdstrategy __P((void *, int, daddr_t, size_t, void *, size_t *)); 33 int fdopen __P((struct open_file *, int, int, int)); 34 int fdclose __P((struct open_file *)); 35 36 /* 37 * inkernel 38 */ 39 void init_in __P((void)); 40 int instrategy __P((void *, int , daddr_t, size_t, void *, size_t *)); 41 int inopen __P((struct open_file *)); 42 int inclose __P((struct open_file *)); 43 44 /* 45 * io 46 */ 47 void outb __P((int, char)); 48 u_char inb __P((int)); 49 u_long local_to_PCI __P((u_long)); 50 51 /* 52 * kbd 53 */ 54 int kbd __P((int)); 55 void kbdreset __P((void)); 56 int kbd_getc __P((void)); 57 58 /* 59 * monitor 60 */ 61 int db_monitor __P((void)); 62 63 /* 64 * tgets 65 */ 66 int tgets __P((char *)); 67 68 /* 69 * video 70 */ 71 void video_init __P((u_char *)); 72 void video_putc __P((int)); 73 74 /* 75 * vga 76 */ 77 void vga_init __P((u_char *)); 78 void vga_putc __P((int)); 79 void vga_puts __P((char *)); 80 81 /* 82 * vreset 83 */ 84 void vga_reset __P((u_char *)); 85