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