kernel_interface.cpp revision 43c46e93
1