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