kernel_interface.cpp revision 8ea8d0c2
1