kernel coding style (5)