#include <sys/types.h> #include <sys/ksynch.h> #include <sys/ddi.h> void ATOMIC_INT_INCR(atomic_int_t *counter);
void ATOMIC_INT_INCR(atomic_int_t *counter);
``Atomic locks'' in HDK Technical Reference