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