17 #include <core/dependencies.h>
19 #ifdef POK_NEEDS_SEMAPHORES
22 #include <core/semaphore.h>
23 #include <core/syscall.h>
24 #include <core/lockobj.h>
27 pok_ret_t pok_sem_signal (pok_sem_id_t
id)
30 lockattr.operation = LOCKOBJ_OPERATION_UNLOCK;
31 lockattr.obj_kind = POK_LOCKOBJ_KIND_SEMAPHORE;
32 return pok_syscall2 (POK_SYSCALL_LOCKOBJ_OPERATION, (uint32_t)
id, (uint32_t)&lockattr);