kernel_interface.cpp revision 84719cae
1