kernel_interface.cpp revision 7106362e9c7cba9664d8b9c7c6d3cfb47a6f508d
1