kernel_interface.cpp revision d8772e0c
1