kernel_interface.cpp revision 9673f7b8
1