kern_exit.c revision 3ef2122f
1