kernel coding style (4)