Searched refs:proc_notification (Results 1 - 16 of 16) sorted by relevance

/seL4-refos-master/libs/librefos/include/refos-rpc/
H A Dproc_common.h36 struct proc_notification { struct
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/
H A Dproc_common.h36 struct proc_notification { struct
/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/
H A Dclient_watch.c31 handle_conserver_death_notification(struct proc_notification *notification)
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/
H A Dclient_watch.c31 handle_timeserver_death_notification(struct proc_notification *notification)
/seL4-refos-master/apps/console_server/src/dispatchers/
H A Dclient_watch.c31 handle_conserver_death_notification(struct proc_notification *notification)
/seL4-refos-master/apps/timer_server/src/dispatchers/
H A Dclient_watch.c31 handle_timeserver_death_notification(struct proc_notification *notification)
/seL4-refos-master/libs/librefos/include/refos-util/
H A Dserv_common.h130 typedef int (*srv_notify_handler_callback_fn_t)(struct proc_notification *notification);
/seL4-refos-master/libs/librefos/src/refos-util/
H A Dserv_common.c280 struct proc_notification *notification = malloc(sizeof(struct proc_notification));
295 (char*) notification, sizeof(struct proc_notification),
304 if (error || bytesRead != sizeof(struct proc_notification)) {
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/
H A Dserv_common.h130 typedef int (*srv_notify_handler_callback_fn_t)(struct proc_notification *notification);
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/
H A Dserv_common.c280 struct proc_notification *notification = malloc(sizeof(struct proc_notification));
295 (char*) notification, sizeof(struct proc_notification),
304 if (error || bytesRead != sizeof(struct proc_notification)) {
/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/
H A Dfault_notify.c46 handle_fileserver_fault(struct proc_notification *notification)
200 handle_fileserver_content_init(struct proc_notification *notification)
264 handle_fileserver_death_notification(struct proc_notification *notification)
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Dfault_handler.c79 cspacepath_t delegationEP, struct proc_notification vmFaultNotification, bool saveReply)
177 struct proc_notification vmFaultNotification;
230 struct proc_notification vmFaultNotification;
/seL4-refos-master/apps/file_server/src/dispatchers/
H A Dfault_notify.c46 handle_fileserver_fault(struct proc_notification *notification)
200 handle_fileserver_content_init(struct proc_notification *notification)
264 handle_fileserver_death_notification(struct proc_notification *notification)
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Dfault_handler.c79 cspacepath_t delegationEP, struct proc_notification vmFaultNotification, bool saveReply)
177 struct proc_notification vmFaultNotification;
230 struct proc_notification vmFaultNotification;
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dproc_client_watch.c164 struct proc_notification exitNotification;
/seL4-refos-master/apps/process_server/src/system/process/
H A Dproc_client_watch.c164 struct proc_notification exitNotification;

Completed in 112 milliseconds