Symbol: xk_load
sys/arch/x68k/stand/common/execkern.h
54
int xk_load(struct execkern_arg *, void *, u_long);
sys/arch/x68k/stand/loadbsd/loadbsd.c
355
xk_load(&arg->xk, buf, 0 /* XXX load addr should not be fixed */);