kernel_interface.cpp revision 91337305
1