#include <sys/ksynch.h> #include <sys/ddi.h> void SV_DEALLOC(sv_t *svp);
void SV_DEALLOC(sv_t *svp);
``Synchronization variables'' in HDK Technical Reference