kernel_interface.cpp revision 80f73964
1