1 /* $NetBSD: boot.h,v 1.10 2012/05/19 14:40:13 kiyohara Exp $ */ 2 3 #define TICKS_PER_SEC (66666667 / 4) /* 66MHz */ 4 #define NS_PER_TICK (1000000000 / TICKS_PER_SEC) 5 6 /* 7 * srt0 8 */ 9 void run(void *, void *, void *, void *, void *); 10 11 /* 12 * clock 13 */ 14 void delay(u_int); 15 16 /* 17 * com 18 */ 19 int comspeed(long); 20 21 /* 22 * console 23 */ 24 char *cninit(int *, int *); 25 int cngetc(void); 26 void cnputc(int); 27 int cnscan(void); 28 29 /* 30 * inkernel 31 */ 32 void init_in(u_long loadaddr); 33 int instrategy(void *, int , daddr_t, size_t, void *, size_t *); 34 int inopen(struct open_file *); 35 int inclose(struct open_file *); 36 37 /* 38 * io 39 */ 40 void outb(int, char); 41 void outw(int, u_int16_t); 42 u_char inb(int); 43 u_char readb(u_long); 44 u_short readw(u_long); 45 u_long readl(u_long); 46 void writeb(u_long, u_char); 47 void writel(u_long, u_long); 48 void _wbinv(uint32_t, uint32_t); 49 void _inv(uint32_t, uint32_t); 50 u_long local_to_PCI(u_long); 51 52 /* 53 * kbd 54 */ 55 int kbd(int); 56 void kbdreset(void); 57 int kbd_getc(void); 58 59 /* 60 * monitor 61 */ 62 int db_monitor(void); 63 64 /* 65 * pci 66 */ 67 void enablePCI(int, int, int, int); 68 int PCISlotnum(u_int, u_int, u_int); 69 int PCI_vendor(int); 70 u_long PCIAddress(int, u_int, int); 71 int scan_PCI(int); 72 void unlockVideo(int); 73 74 /* 75 * tgets 76 */ 77 int tgets(char *); 78 79 /* 80 * vga 81 */ 82 void vga_init(u_char *); 83 void vga_putc(int); 84 void vga_puts(char *); 85 86 /* 87 * vreset 88 */ 89 void vga_reset(u_char *); 90