octboot_kexec
int octboot_kexec(struct octboot_kexec_args *, struct proc *);
error = octboot_kexec((struct octboot_kexec_args *)data, p);