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