Searched refs:notifBuffer (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dprocess.h158 @param notifBuffer The notification buffer anon dataspace structure. (Shared ownership)
161 int proc_set_notificationbuffer(struct proc_pcb *p, struct ram_dspace *notifBuffer);
H A Dprocess.c461 proc_set_notificationbuffer(struct proc_pcb *p, struct ram_dspace *notifBuffer) argument
468 if (!notifBuffer) {
471 p->notificationBuffer = rb_create(notifBuffer, RB_WRITEONLY);
/seL4-refos-master/apps/process_server/src/system/process/
H A Dprocess.h158 @param notifBuffer The notification buffer anon dataspace structure. (Shared ownership)
161 int proc_set_notificationbuffer(struct proc_pcb *p, struct ram_dspace *notifBuffer);
H A Dprocess.c461 proc_set_notificationbuffer(struct proc_pcb *p, struct ram_dspace *notifBuffer) argument
468 if (!notifBuffer) {
471 p->notificationBuffer = rb_create(notifBuffer, RB_WRITEONLY);

Completed in 33 milliseconds