kernel_interface.cpp revision 617ed3e4
1