kernel_interface.cpp revision 8d9eff58
1