kernel_interface.cpp revision 381c5247
1