diff options
Diffstat (limited to 'innobase/os/os0sync.c')
| -rw-r--r-- | innobase/os/os0sync.c | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/innobase/os/os0sync.c b/innobase/os/os0sync.c index 8da142cd4a6..2cf5160d055 100644 --- a/innobase/os/os0sync.c +++ b/innobase/os/os0sync.c @@ -455,6 +455,21 @@ os_fast_mutex_lock( } /************************************************************** +Releases ownership of a fast mutex. */ + +void +os_fast_mutex_unlock( +/*=================*/ + os_fast_mutex_t* fast_mutex) /* in: mutex to release */ +{ +#ifdef __WIN__ + LeaveCriticalSection(fast_mutex); +#else + pthread_mutex_unlock(fast_mutex); +#endif +} + +/************************************************************** Frees a mutex object. */ void |