33 lines
999 B
C
33 lines
999 B
C
|
void *emalloc(ulong);
|
||
|
void loadkernel(char *);
|
||
|
uvlong rget(char *);
|
||
|
void rpoke(char *, uvlong, int);
|
||
|
#define rset(a,b) rpoke(a,b,0)
|
||
|
void processexit(char *);
|
||
|
void pitadvance(void);
|
||
|
void vmerror(char *, ...);
|
||
|
#define vmdebug vmerror
|
||
|
int ctl(char *, ...);
|
||
|
void registermmio(uvlong, uvlong, uvlong (*)(int, uvlong, uvlong));
|
||
|
void irqline(int, int);
|
||
|
void irqack(int);
|
||
|
void postexc(char *, u32int);
|
||
|
void vgaresize(void);
|
||
|
void uartinit(int, char *);
|
||
|
void sendnotif(void (*)(void *), void *);
|
||
|
PCIDev *mkpcidev(u32int, u32int, u32int, int);
|
||
|
PCIBar *mkpcibar(PCIDev *, u8int, u32int, void *, void *);
|
||
|
PCICap *mkpcicap(PCIDev *, u8int, u32int (*)(PCICap *, u8int), void(*)(PCICap *, u8int, u32int, u32int));
|
||
|
u32int allocbdf(void);
|
||
|
void *gptr(u64int, u64int);
|
||
|
void *gend(void *);
|
||
|
uintptr gpa(void *);
|
||
|
uintptr gavail(void *);
|
||
|
void pciirq(PCIDev *, int);
|
||
|
u32int iowhine(int, u16int, u32int, int, void *);
|
||
|
void elcr(u16int);
|
||
|
int mkvionet(char *);
|
||
|
int mkvioblk(char *);
|
||
|
char* rcflush(int);
|
||
|
void i8042kick(void *);
|