Symbol: MUTEX_DRIVER
usr/src/lib/libfakekernel/common/sys/mutex.h
57
MUTEX_DRIVER = 4, /* driver (DDI) mutex */
usr/src/uts/common/sys/mutex.h
59
MUTEX_DRIVER = 4, /* driver (DDI) mutex */