kernel_interface.cpp revision 43160669
1