sys/arch/bebox/stand/boot/boot.h

   1 /*      $NetBSD: boot.h,v 1.6 2005/12/11 12:17:04 christos 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);