osdsc_t
usr_info(osdsc_t *od)
load_booter(osdsc_t *od)
static osdsc_t os_desc;
osdsc_t *od = &os_desc;
int bootxxx(void *, void *, osdsc_t *);
bootxxx(void *readsector, void *disklabel, osdsc_t *od)
aout_load(int fd, osdsc_t *od, char **errp, int loadsyms)
elf_load(int fd, osdsc_t *od, char **errp, int loadsyms)
sys_info(osdsc_t *od)
get_sys_info(osdsc_t *od)
start_kernel(osdsc_t *od)
static osdsc_t kernelparms;
void get_sys_info PROTO((osdsc_t *));
void start_kernel PROTO((osdsc_t *));
osdsc_t *od;