1/*	$NetBSD: boot.h,v 1.1 2007/12/17 19:09:45 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 */
9void run(void *, void *, void *, void *, void *);
10
11/*
12 * clock
13 */
14void delay(u_int);
15
16/*
17 * com
18 */
19int comspeed(long);
20
21/*
22 * console
23 */
24char *cninit(int *, int *);
25int cngetc(void);
26void cnputc(int);
27int cnscan(void);
28
29/*
30 * inkernel
31 */
32void init_in(u_long loadaddr);
33int instrategy(void *, int , daddr_t, size_t, void *, size_t *);
34int inopen(struct open_file *);
35int inclose(struct open_file *);
36
37/*
38 * io
39 */
40int setup_iocc(void);
41void outb(int, char);
42void outw(int, u_int16_t);
43u_char inb(int);
44
45/*
46 * kbd
47 */
48int kbd(int);
49void kbdreset(void);
50int kbd_getc(void);
51
52/*
53 * monitor
54 */
55int db_monitor(void);
56
57/*
58 * tgets
59 */
60int tgets(char *);
61
62/*
63 * vga
64 */
65void vga_init(u_char *);
66void vga_putc(int);
67void vga_puts(char *);
68
69/*
70 * vreset
71 */
72void vga_reset(u_char *);
73
74/*
75 * iplcb.c
76 */
77void dump_iplcb(void *);
78