#include <sys/ksynch.h> #include <sys/ddi.h> void SLEEP_DEALLOC(sleep_t *lockp);
void SLEEP_DEALLOC(sleep_t *lockp);
``Sleep locks'' in HDK Technical Reference