kernel_interface.cpp revision b8dae0fe7be1feb1cb982f6fcbae3fe7bc29cd10
1