CHECK: spinlock_t definition without comment