#include <sys/types.h> #include <sys/ksynch.h> #include <sys/ddi.h> void RW_DEALLOC(rwlock_t *lockp);
void RW_DEALLOC(rwlock_t *lockp);
``Spin locks (DDI)'' in HDK Technical Reference