void procfork(Proc*);
extern void _reset(void);
extern void setr13(int, u32int*);
-extern void syscallfmt(int syscallno, ulong pc, va_list list);
-extern void sysretfmt(int syscallno, va_list list, long ret, uvlong start, uvlong stop);
extern int tas(void *);
extern u32int ttbget(void);
extern void ttbput(u32int);
extern void fpuprocrestore(Proc*);
extern void fpuprocsave(Proc*);
extern void fpusysprocsetup(Proc*);
-extern void fpusysrfork(Ureg*);
-extern void fpusysrforkchild(Proc*, Ureg *, Proc*);
extern int fpuemu(Ureg*);
/*
uintptr mmukunmap(uintptr, uintptr, usize);
extern void* mmuuncache(void*, usize);
extern void* ucalloc(usize);
-extern void* ucallocalign(usize size, int align, int span);
+extern void* ucallocalign(usize size, int align, usize span);
extern Block* ucallocb(int);
extern void ucfree(void*);
extern void ucfreeb(Block*);
extern int splfhi(void);
extern int splflo(void);
extern void sysprocsetup(Proc*);
+extern int isaconfig(char*, int, ISAConf*); /* only devusb.c */
/*
* PCI