1/*	$NetBSD: boot.h,v 1.8 2006/06/20 05:49:09 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 */
40void outb(int, char);
41void outw(int, u_int16_t);
42u_char inb(int);
43u_long local_to_PCI(u_long);
44void unlockVideo(int);
45int scan_PCI(int);
46int PCI_vendor(int);
47
48/*
49 * kbd
50 */
51int kbd(int);
52void kbdreset(void);
53int kbd_getc(void);
54
55/*
56 * monitor
57 */
58int db_monitor(void);
59
60/*
61 * tgets
62 */
63int tgets(char *);
64
65/*
66 * vga
67 */
68void vga_init(u_char *);
69void vga_putc(int);
70void vga_puts(char *);
71
72/*
73 * vreset
74 */
75void vga_reset(u_char *);
76