18 #ifdef POK_NEEDS_MUTEXES
21 #include <core/mutex.h>
22 #include <core/syscall.h>
23 #include <core/lockobj.h>
25 pok_ret_t pok_mutex_lock (pok_mutex_id_t
id)
28 lockattr.operation = LOCKOBJ_OPERATION_LOCK;
30 lockattr.obj_kind = POK_LOCKOBJ_KIND_MUTEX;
31 return pok_syscall2 (POK_SYSCALL_LOCKOBJ_OPERATION, (uint32_t)
id, (uint32_t)&lockattr);