execkern_arg
xk_elf(struct execkern_arg *xarg, Elf32_Ehdr *hdr)
static void xk_aout(struct execkern_arg *xarg, struct exec *hdr);
static void xk_elf(struct execkern_arg *xarg, Elf32_Ehdr *hdr);
xk_load(struct execkern_arg *xarg, void *buf, u_long loadaddr)
xk_aout(struct execkern_arg *xarg, struct exec *hdr)
int xk_load(struct execkern_arg *, void *, u_long);
void __dead exec_kernel(struct execkern_arg *);
struct execkern_arg xk;