kernel_interface.cpp revision 9d254f45
1