kernel_interface.cpp revision 22a80888
1