Should be the "start_init" function in init_main.c in sys/kern.

> What calls init during booting on i386, and where in source is it (the
> program that calls init, not init itself)? I need to rename init and still
> have the system boot.