blob: d5756916ebb9698c9891c188d2f4342b3f6a0184 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
/* $NetBSD: boot.h,v 1.4 2003/10/08 01:33:54 simonb 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 volatile 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 *));
|