kernel_interface.cpp revision 6f7e72c0
1