Searched defs:notification (Results 1 - 9 of 9) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4sync/include/sync/
H A Drecursive_mutex.h33 vka_object_t notification; member in struct:__anon558
H A Dbin_sem_bare.h26 static inline int sync_bin_sem_bare_wait(seL4_CPtr notification, volatile int *value) { argument
43 static inline int sync_bin_sem_bare_post(seL4_CPtr notification, volatile int *value) { argument
H A Dmutex.h25 static inline int sync_mutex_init(sync_mutex_t *mutex, seL4_CPtr notification) { argument
H A Dcondition_var.h26 vka_object_t notification; member in struct:__anon34
35 static inline int sync_cv_init(sync_cv_t *cv, seL4_CPtr notification) argument
[all...]
H A Dbin_sem.h27 vka_object_t notification; member in struct:__anon33
36 static inline int sync_bin_sem_init(sync_bin_sem_t *sem, seL4_CPtr notification, int value) argument
[all...]
/seL4-camkes-master/projects/camkes/apps/timeserver/components/Client/src/
H A Dclient.c19 seL4_CPtr notification = timeout_notification(); local
/seL4-camkes-master/projects/seL4_libs/libsel4sync/src/
H A Drecursive_mutex.c29 int sync_recursive_mutex_init(sync_recursive_mutex_t *mutex, seL4_CPtr notification) argument
[all...]
/seL4-camkes-master/projects/camkes/apps/cakeml_tipc/components/client/
H A Dclient.c149 seL4_CPtr notification = timeout_notification(); local
/seL4-camkes-master/projects/global-components/components/SerialServer/src/
H A Dserial.c472 seL4_CPtr notification = timeout_notification(); local

Completed in 47 milliseconds