76 lines
1.3 KiB
C
76 lines
1.3 KiB
C
/* $NetBSD: boot.h,v 1.3 2000/03/16 23:21:10 darrenr Exp $ */
|
|
|
|
#define TICKS_PER_SEC (33000000 / 4) /* 33MHz */
|
|
#define NS_PER_TICK (1000000000 / TICKS_PER_SEC)
|
|
|
|
/*
|
|
* srt0
|
|
*/
|
|
extern int endaddr __P((void));
|
|
extern void run __P((void *, void *, void *, void *, void *));
|
|
|
|
/*
|
|
* clock
|
|
*/
|
|
extern void delay __P((u_int));
|
|
|
|
/*
|
|
* com
|
|
*/
|
|
extern int comspeed __P((long));
|
|
|
|
/*
|
|
* console
|
|
*/
|
|
extern char *cninit __P((int *, int *));
|
|
extern int cngetc __P((void));
|
|
extern void cnputc __P((int));
|
|
extern int cnscan __P((void));
|
|
|
|
/*
|
|
* cpu
|
|
*/
|
|
extern int CPU1_alive;
|
|
extern void cpu1 __P((void));
|
|
extern void resetCPU1 __P((void));
|
|
extern void runCPU1 __P((void *));
|
|
extern void start_CPU1 __P((void));
|
|
extern void wait_for __P((volatile int *));
|
|
extern int whichCPU __P((void));
|
|
|
|
/*
|
|
* inkernel
|
|
*/
|
|
extern void init_in __P((void));
|
|
|
|
/*
|
|
* io
|
|
*/
|
|
extern void outb __P((int, char));
|
|
extern u_char inb __P((int));
|
|
extern u_long local_to_PCI __P((u_long));
|
|
|
|
/*
|
|
* kbd
|
|
*/
|
|
extern int kbd __P((int));
|
|
extern void kbdreset __P((void));
|
|
extern int kbd_getc __P((void));
|
|
|
|
/*
|
|
* video
|
|
*/
|
|
extern void video_init __P((u_char *));
|
|
extern void video_putc __P((int));
|
|
|
|
/*
|
|
* vga
|
|
*/
|
|
extern void vga_init __P((u_char *));
|
|
extern void vga_putc __P((int));
|
|
|
|
/*
|
|
* vreset
|
|
*/
|
|
extern void vga_reset __P((u_char *));
|