C sources follow the code convention of kernel