kernel_interface.cpp revision d4969c91
1