123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354 |
- /* Copyright (C) 2014 Stony Brook University
- This file is part of Graphene Library OS.
- Graphene Library OS is free software: you can redistribute it and/or
- modify it under the terms of the GNU Lesser General Public License
- as published by the Free Software Foundation, either version 3 of the
- License, or (at your option) any later version.
- Graphene Library OS is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- GNU Lesser General Public License for more details.
- You should have received a copy of the GNU Lesser General Public License
- along with this program. If not, see <http://www.gnu.org/licenses/>. */
- /*
- * db_mutex.c
- *
- * This file contains APIs that provides operations of mutexes.
- */
- #include "api.h"
- #include "pal.h"
- #include "pal_defs.h"
- #include "pal_error.h"
- #include "pal_internal.h"
- PAL_HANDLE
- DkMutexCreate(PAL_NUM initialCount) {
- ENTER_PAL_CALL(DkMutexCreate);
- PAL_HANDLE handle = NULL;
- int ret = _DkMutexCreate(&handle, initialCount);
- if (ret < 0) {
- _DkRaiseFailure(-ret);
- handle = NULL;
- }
- LEAVE_PAL_CALL_RETURN(handle);
- }
- void DkMutexRelease(PAL_HANDLE handle) {
- ENTER_PAL_CALL(DkMutexRelease);
- if (!handle || !IS_HANDLE_TYPE(handle, mutex)) {
- _DkRaiseFailure(PAL_ERROR_INVAL);
- LEAVE_PAL_CALL();
- }
- _DkMutexRelease(handle);
- LEAVE_PAL_CALL();
- }
|