sys/arch/prep/stand/boot/boot.h

   1 /*      $NetBSD: boot.h,v 1.7 2006/04/13 18:46:46 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 *);