init_proc0
init_proc0((void *)kernelstack);
init_proc0(abp->kern_stack);
init_proc0(rvbp->kern_stack);