CHECK: spinlock_t definition without comment
ERROR: space prohibited before that close parenthesis ')'
WARNING: line length of 81 exceeds 80 columns
WARNING: line length of 85 exceeds 80 columns
WARNING: line length of 86 exceeds 80 columns
WARNING: line length of 92 exceeds 80 columns
WARNING: please write a help paragraph that fully describes the config symbol