kernel_interface.cpp revision 9076c04c
1