kernel_interface.cpp revision be136723
1