EMUL64_REQ_MUTEX
ASSERT(mutex_owned(EMUL64_REQ_MUTEX(emul64)) == 0 || ddi_in_panic());
mutex_init(EMUL64_REQ_MUTEX(emul64), NULL, MUTEX_DRIVER,
mutex_destroy(EMUL64_REQ_MUTEX(emul64));
mutex_destroy(EMUL64_REQ_MUTEX(emul64));
mutex_enter(EMUL64_REQ_MUTEX(emul64));
mutex_exit(EMUL64_REQ_MUTEX(emul64));
ASSERT(mutex_owned(EMUL64_REQ_MUTEX(emul64)) == 0 || ddi_in_panic());
mutex_enter(EMUL64_REQ_MUTEX(emul64))
mutex_exit(EMUL64_REQ_MUTEX(emul64))