kernel_interface.cpp revision 7cadc8aff2fd2c7fdf2b48c7b8dc4f83324c5594
1