kern_switch.c revision 18f480f8
1