1 /* $NetBSD: boot.h,v 1.3 2000/03/16 23:21:10 darrenr 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 extern int endaddr __P((void)); 10 extern void run __P((void *, void *, void *, void *, void *)); 11 12 /* 13 * clock 14 */ 15 extern void delay __P((u_int)); 16 17 /* 18 * com 19 */ 20 extern int comspeed __P((long)); 21 22 /* 23 * console 24 */ 25 extern char *cninit __P((int *, int *)); 26 extern int cngetc __P((void)); 27 extern void cnputc __P((int)); 28 extern int cnscan __P((void)); 29 30 /* 31 * cpu 32 */ 33 extern int CPU1_alive; 34 extern void cpu1 __P((void)); 35 extern void resetCPU1 __P((void)); 36 extern void runCPU1 __P((void *)); 37 extern void start_CPU1 __P((void)); 38 extern void wait_for __P((volatile int *)); 39 extern int whichCPU __P((void)); 40 41 /* 42 * inkernel 43 */ 44 extern void init_in __P((void)); 45 46 /* 47 * io 48 */ 49 extern void outb __P((int, char)); 50 extern u_char inb __P((int)); 51 extern u_long local_to_PCI __P((u_long)); 52 53 /* 54 * kbd 55 */ 56 extern int kbd __P((int)); 57 extern void kbdreset __P((void)); 58 extern int kbd_getc __P((void)); 59 60 /* 61 * video 62 */ 63 extern void video_init __P((u_char *)); 64 extern void video_putc __P((int)); 65 66 /* 67 * vga 68 */ 69 extern void vga_init __P((u_char *)); 70 extern void vga_putc __P((int)); 71 72 /* 73 * vreset 74 */ 75 extern void vga_reset __P((u_char *)); 76