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

/seL4-refos-master/projects/seL4_libs/libsel4sync/include/sync/
H A Drecursive_mutex.h33 vka_object_t notification; member in struct:__anon802
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:__anon2
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:__anon1
36 static inline int sync_bin_sem_init(sync_bin_sem_t *sem, seL4_CPtr notification, int value) argument
[all...]
/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/
H A Dclient_watch.c31 handle_conserver_death_notification(struct proc_notification *notification) argument
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/
H A Dclient_watch.c31 handle_timeserver_death_notification(struct proc_notification *notification) argument
/seL4-refos-master/apps/console_server/src/dispatchers/
H A Dclient_watch.c31 handle_conserver_death_notification(struct proc_notification *notification) argument
/seL4-refos-master/apps/timer_server/src/dispatchers/
H A Dclient_watch.c31 handle_timeserver_death_notification(struct proc_notification *notification) argument
/seL4-refos-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-refos-master/libs/librefos/src/refos-util/
H A Dserv_common.c280 struct proc_notification *notification local
[all...]
/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/
H A Dfault_notify.c46 handle_fileserver_fault(struct proc_notification *notification) argument
200 handle_fileserver_content_init(struct proc_notification *notification) argument
264 handle_fileserver_death_notification(struct proc_notification *notification) argument
[all...]
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/
H A Dserv_common.c280 struct proc_notification *notification local
[all...]
/seL4-refos-master/apps/file_server/src/dispatchers/
H A Dfault_notify.c46 handle_fileserver_fault(struct proc_notification *notification) argument
200 handle_fileserver_content_init(struct proc_notification *notification) argument
264 handle_fileserver_death_notification(struct proc_notification *notification) argument
[all...]

Completed in 59 milliseconds