kernel_interface.cpp revision 9499ef8e
1