Symbol: loadkernel
usr.sbin/config/exec.h
30
void loadkernel(char *);
usr.sbin/config/ukc.c
72
loadkernel(file);