Searched refs:vmFaultNotification (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 | 74 @param vmFaultNotification The VM fault noficfiation message contents.
79 cspacepath_t delegationEP, struct proc_notification vmFaultNotification, bool saveReply)
100 int error = rb_write(delegationPCB->notificationBuffer, (char*)(&vmFaultNotification),
101 sizeof(vmFaultNotification));
177 struct proc_notification vmFaultNotification; local
178 vmFaultNotification.magic = PROCSERV_NOTIFICATION_MAGIC;
179 vmFaultNotification.label = PROCSERV_NOTIFY_CONTENT_INIT;
180 vmFaultNotification.arg[0] = dspace->ID;
181 vmFaultNotification.arg[1] = REFOS_PAGE_ALIGN(dspaceOffset);
183 fault_delegate_notification(f, cinitPCB, dspace->contentInitEP, vmFaultNotification,
78 fault_delegate_notification(struct procserv_vmfault_msg *f, struct proc_pcb *delegationPCB, cspacepath_t delegationEP, struct proc_notification vmFaultNotification, bool saveReply) argument
230 struct proc_notification vmFaultNotification; local
[all...] |
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | fault_handler.c | 74 @param vmFaultNotification The VM fault noficfiation message contents.
79 cspacepath_t delegationEP, struct proc_notification vmFaultNotification, bool saveReply)
100 int error = rb_write(delegationPCB->notificationBuffer, (char*)(&vmFaultNotification),
101 sizeof(vmFaultNotification));
177 struct proc_notification vmFaultNotification; local
178 vmFaultNotification.magic = PROCSERV_NOTIFICATION_MAGIC;
179 vmFaultNotification.label = PROCSERV_NOTIFY_CONTENT_INIT;
180 vmFaultNotification.arg[0] = dspace->ID;
181 vmFaultNotification.arg[1] = REFOS_PAGE_ALIGN(dspaceOffset);
183 fault_delegate_notification(f, cinitPCB, dspace->contentInitEP, vmFaultNotification,
78 fault_delegate_notification(struct procserv_vmfault_msg *f, struct proc_pcb *delegationPCB, cspacepath_t delegationEP, struct proc_notification vmFaultNotification, bool saveReply) argument
230 struct proc_notification vmFaultNotification; local
[all...] |
Completed in 76 milliseconds