kernel_interface.cpp revision 9fc81c53
1