Home | History | Annotate | Line # | Download | only in boot
boot.h revision 1.7 
      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