kernel_interface.cpp revision 7c1b58f2
1