kexec              26 kernel/defs.h  int             kexec(char*, char**);
kexec             524 kernel/proc.c      p->trapframe->a0 = kexec("/init", (char *[]){ "/init", 0 });
kexec             464 kernel/sysfile.c   int ret = kexec(path, argv);