kernel_interface.cpp revision b2397539
1