kernel_interface.cpp revision 207a28efee1701840febf7bb71cfee559160641c
1