kernel_interface.cpp revision 80ddd8da
1