6f1e6c97de
return void just like cpu_switch. Fix prototype and usage from machdep.c
return void just like cpu_switch. Fix prototype and usage from machdep.c