kernel coding style (3)