1 # One more important place. We come here upon warm restart.
2 # Here we set the stack pointer to some safe place and use core_Kick
3 # to run kernel_cstart() routine with our old boot taglist.
6 .type core_Reboot, @function
12 leal kernel_cstart
, %ebx