mirror of
https://github.com/Stichting-MINIX-Research-Foundation/netbsd.git
synced 2025-08-07 13:09:33 -04:00
112 lines
1.6 KiB
C
112 lines
1.6 KiB
C
/* $NetBSD: boot.h,v 1.10 2014/06/09 17:35:01 phx Exp $ */
|
|
|
|
#define TICKS_PER_SEC (33000000 / 4) /* 33MHz */
|
|
#define NS_PER_TICK (1000000000 / TICKS_PER_SEC)
|
|
|
|
/*
|
|
* srt0
|
|
*/
|
|
int endaddr(void);
|
|
void run(void *, void *, void *, void *, void *);
|
|
|
|
/*
|
|
* clock
|
|
*/
|
|
void delay(u_int);
|
|
|
|
/*
|
|
* com
|
|
*/
|
|
int comspeed(long);
|
|
|
|
/*
|
|
* console
|
|
*/
|
|
char *cninit(int *, int *);
|
|
int cngetc(void);
|
|
void cnputc(int);
|
|
int cnscan(void);
|
|
|
|
/*
|
|
* CPU
|
|
*/
|
|
volatile int CPU1_alive;
|
|
void cpu1(void);
|
|
void resetCPU1(void);
|
|
unsigned long cpuState(void);
|
|
void runCPU1(void *);
|
|
void start_CPU1(void);
|
|
void wait_for(volatile int *);
|
|
int whichCPU(void);
|
|
|
|
/*
|
|
* inkernel
|
|
*/
|
|
void init_in(void);
|
|
|
|
/*
|
|
* io
|
|
*/
|
|
void outb(int, u_char);
|
|
void outw(int, u_short);
|
|
u_char inb(int);
|
|
u_short inw(int);
|
|
u_short inwrb(int);
|
|
void writeb(u_long, u_char);
|
|
void writel(u_long, u_long);
|
|
u_char readb(u_long);
|
|
u_short readw(u_long);
|
|
u_long readl(u_long);
|
|
u_long local_to_PCI(u_long);
|
|
void _wbinv(uint32_t, uint32_t);
|
|
void _inv(uint32_t, uint32_t);
|
|
|
|
/*
|
|
* kbd
|
|
*/
|
|
int kbd(int);
|
|
void kbdreset(void);
|
|
int kbd_getc(void);
|
|
int kbd_test(void);
|
|
|
|
/*
|
|
* monitor
|
|
*/
|
|
int db_monitor(void);
|
|
|
|
/*
|
|
* pci
|
|
*/
|
|
void scanPCI(void);
|
|
int findPCIVga(void);
|
|
void enablePCI(int, int, int, int);
|
|
int PCISlotnum(u_int, u_int, u_int);
|
|
int PCIVendor(int);
|
|
u_long PCIAddress(int, u_int, int);
|
|
#ifdef DEBUG
|
|
void printPCIslots(void);
|
|
#endif
|
|
|
|
/*
|
|
* tgets
|
|
*/
|
|
int tgets(char *);
|
|
|
|
/*
|
|
* vga
|
|
*/
|
|
void vga_init(u_char *);
|
|
void vga_putc(int);
|
|
void vga_puts(char *);
|
|
|
|
/*
|
|
* vreset
|
|
*/
|
|
void vga_reset(u_char *);
|
|
|
|
/*
|
|
* video
|
|
*/
|
|
void video_init(u_char *);
|
|
void video_putc(int);
|