1 /* $NetBSD: boot.h,v 1.8 2006/06/20 05:49:09 garbled 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 void outb(int, char); 41 inline void outw(int, u_int16_t); 42 u_char inb(int); 43 u_long local_to_PCI(u_long); 44 void unlockVideo(int); 45 int scan_PCI(int); 46 int PCI_vendor(int); 47 48 /* 49 * kbd 50 */ 51 int kbd(int); 52 void kbdreset(void); 53 int kbd_getc(void); 54 55 /* 56 * monitor 57 */ 58 int db_monitor(void); 59 60 /* 61 * tgets 62 */ 63 int tgets(char *); 64 65 /* 66 * vga 67 */ 68 void vga_init(u_char *); 69 void vga_putc(int); 70 void vga_puts(char *); 71 72 /* 73 * vreset 74 */ 75 void vga_reset(u_char *); 76