kernel_interface.cpp revision 12ed6d21
1