kernel.h revision bb1dc0ba
1