Home | History | Annotate | Line # | Download | only in boot
boot.h revision 1.5 
      1 /*	$NetBSD: boot.h,v 1.5 2004/02/13 11:36:11 wiz 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 volatile 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