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