CHECK: spinlock_t definition without comment
WARNING: Missing a blank line after declarations