kernel_interface.cpp revision 9d4ec2ee
1