Symbol: savekernel
usr.sbin/config/exec.h
31
void savekernel(char *);
usr.sbin/config/ukc.c
173
savekernel(outfile);