kernel_interface.cpp revision 973032b8d79f6cd6f7ba68b6dd318e25b669db0e
1