kern_switch.c revision f0393f06
1