kernel.h revision ab7ada645af30cb30b0424b22cd8a26cdc3c53b6
1