1 /* $NetBSD: boot.h,v 1.7 2008/05/26 16:28:39 kiyohara 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 int endaddr(void); 10 void run(void *, void *, void *, void *, void *); 11 12 /* 13 * clock 14 */ 15 void delay(u_int); 16 17 /* 18 * com 19 */ 20 int comspeed(long); 21 22 /* 23 * console 24 */ 25 char *cninit(int *, int *); 26 int cngetc(void); 27 void cnputc(int); 28 int cnscan(void); 29 30 /* 31 * CPU 32 */ 33 volatile int CPU1_alive; 34 void cpu1(void); 35 void resetCPU1(void); 36 unsigned long cpuState(void); 37 void runCPU1(void *); 38 void start_CPU1(void); 39 void wait_for(volatile int *); 40 int whichCPU(void); 41 42 /* 43 * inkernel 44 */ 45 void init_in(void); 46 47 /* 48 * io 49 */ 50 void outb(int, char); 51 void outw(int, u_short); 52 u_char inb(int); 53 u_long local_to_PCI(u_long); 54 55 /* 56 * kbd 57 */ 58 int kbd(int); 59 void kbdreset(void); 60 int kbd_getc(void); 61 int kbd_test(void); 62 63 /* 64 * monitor 65 */ 66 int db_monitor(void); 67 68 /* 69 * tgets 70 */ 71 int tgets(char *); 72 73 /* 74 * vga 75 */ 76 void vga_init(u_char *); 77 void vga_putc(int); 78 void vga_puts(char *); 79 80 /* 81 * vreset 82 */ 83 void vga_reset(u_char *); 84 85 /* 86 * video 87 */ 88 void video_init(u_char *); 89 void video_putc(int); 90