Searched refs:Mutex (Results 1 - 6 of 6) sorted by relevance
| /seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
| H A D | __init__.py | 25 Method, Mutex, Parameter, Procedure, Provides, Reference, Semaphore, \
26 BinarySemaphore, Setting, Uses, Struct, QueryObject namespace
|
| H A D | objects.py | 607 all(isinstance_fallback(x, "Mutex") for x in m))
760 class Mutex(ASTObject): class in inherits:ASTObject
762 super(Mutex, self).__init__(location)
|
| /seL4-camkes-master/tools/cogent/cogent/lib/c/linux/ |
| H A D | abstract-defns.h | 36 typedef struct mutex Mutex; typedef in typeref:struct:mutex
|
| /seL4-camkes-master/projects/picotcp/stack/ |
| H A D | pico_socket.c | 35 static void *Mutex = NULL; variable
393 PICOTCP_MUTEX_LOCK(Mutex);
400 PICOTCP_MUTEX_UNLOCK(Mutex);
413 PICOTCP_MUTEX_UNLOCK(Mutex);
422 PICOTCP_MUTEX_UNLOCK(Mutex);
429 PICOTCP_MUTEX_UNLOCK(Mutex);
433 PICOTCP_MUTEX_UNLOCK(Mutex);
511 PICOTCP_MUTEX_LOCK(Mutex);
521 PICOTCP_MUTEX_UNLOCK(Mutex);
525 PICOTCP_MUTEX_UNLOCK(Mutex);
[all...] |
| /seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
| H A D | stage3.py | 31 LiftedAST, Method, Mutex, normalise_type, Parameter, Procedure, Provides, \
263 mutexes=[x for x in args if isinstance(x, Mutex)],
544 return Mutex(id, location)
32 Reference, Semaphore, BinarySemaphore, QueryObject, Setting, SourceLocation, Uses, Struct namespace
|
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_tcp.c | 76 static void *Mutex = NULL; variable
194 PICOTCP_MUTEX_LOCK(Mutex);
214 PICOTCP_MUTEX_UNLOCK(Mutex);
242 PICOTCP_MUTEX_LOCK(Mutex);
259 PICOTCP_MUTEX_UNLOCK(Mutex);
3155 PICOTCP_MUTEX_LOCK(Mutex);
3174 PICOTCP_MUTEX_UNLOCK(Mutex);
|
Completed in 64 milliseconds