kernel_interface.cpp revision 583f39e9
1