Searched refs:delegationPCB (Results 1 - 2 of 2) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | fault_handler.c | 72 @param delegationPCB The PCB structure of the delegator recieving the notification.
78 fault_delegate_notification(struct procserv_vmfault_msg *f, struct proc_pcb *delegationPCB, argument
82 assert(delegationPCB && delegationPCB->magic == REFOS_PCB_MAGIC);
84 if (!delegationPCB->notificationBuffer) {
85 printf("PID notif buffer NULL! %d\n", delegationPCB->pid);
100 int error = rb_write(delegationPCB->notificationBuffer, (char*)(&vmFaultNotification),
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | fault_handler.c | 72 @param delegationPCB The PCB structure of the delegator recieving the notification.
78 fault_delegate_notification(struct procserv_vmfault_msg *f, struct proc_pcb *delegationPCB, argument
82 assert(delegationPCB && delegationPCB->magic == REFOS_PCB_MAGIC);
84 if (!delegationPCB->notificationBuffer) {
85 printf("PID notif buffer NULL! %d\n", delegationPCB->pid);
100 int error = rb_write(delegationPCB->notificationBuffer, (char*)(&vmFaultNotification),
|
Completed in 79 milliseconds