Searched refs:procserv_vmfault_msg (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 | 34 struct procserv_vmfault_msg { struct
54 output_segmentation_fault(const char* message, struct procserv_vmfault_msg *f)
78 fault_delegate_notification(struct procserv_vmfault_msg *f, struct proc_pcb *delegationPCB,
129 handle_vm_fault_dspace(struct procserv_msg *m, struct procserv_vmfault_msg *f,
223 handle_vm_fault_pager(struct procserv_msg *m, struct procserv_vmfault_msg *f,
270 handle_vm_fault(struct procserv_msg *m, struct procserv_vmfault_msg *f)
370 struct procserv_vmfault_msg vmfault;
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | fault_handler.c | 34 struct procserv_vmfault_msg { struct
54 output_segmentation_fault(const char* message, struct procserv_vmfault_msg *f)
78 fault_delegate_notification(struct procserv_vmfault_msg *f, struct proc_pcb *delegationPCB,
129 handle_vm_fault_dspace(struct procserv_msg *m, struct procserv_vmfault_msg *f,
223 handle_vm_fault_pager(struct procserv_msg *m, struct procserv_vmfault_msg *f,
270 handle_vm_fault(struct procserv_msg *m, struct procserv_vmfault_msg *f)
370 struct procserv_vmfault_msg vmfault;
|
Completed in 77 milliseconds