Man pages matching name ck_spinlock in section 3:

ck_spinlock.3.en	debian 11 / libck-dev
ck_spinlock.3.en	debian 12 / libck-dev