int bios32ci(BIOS32si*, BIOS32ci*);
void bios32close(BIOS32si*);
BIOS32si* bios32open(char*);
-void bootargs(void*);
+void bootargsinit(void);
uintptr cankaddr(uintptr);
int checksum(void *, int);
void clockintr(Ureg*, void*);
void realmode(Ureg*);
void screeninit(void);
void (*screenputs)(char*, int);
+void setconfenv(void);
void* sigsearch(char*);
void syncclock(void);
void syscallentry(void);
void* vmap(uintptr, int);
void vunmap(void*, int);
void wbinvd(void);
+void writeconf(void);
int wrmsr(int, vlong);
int xchgw(ushort*, int);
void rdrandbuf(void*, ulong);