kernel_interface.cpp revision 57225f03
1