Searched refs:output_segmentation_fault (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 | 54 output_segmentation_fault(const char* message, struct procserv_vmfault_msg *f) function
86 output_segmentation_fault("Delegator dataspace server has no notification buffer.", f);
94 output_segmentation_fault("Failed to save caller reply cap.", f);
103 output_segmentation_fault("Failed to write VM fault notification to buffer.", f);
146 output_segmentation_fault("Failed to retrieve content-init state.", f);
152 output_segmentation_fault("Fault address out of range!", f);
160 output_segmentation_fault("Invalid content initialiser PID.", f);
164 output_segmentation_fault("Invalid content-init endpoint!", f);
172 output_segmentation_fault("Failed to save reply cap as dspace waiter!", f);
196 output_segmentation_fault("Ou
[all...] |
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | fault_handler.c | 54 output_segmentation_fault(const char* message, struct procserv_vmfault_msg *f) function
86 output_segmentation_fault("Delegator dataspace server has no notification buffer.", f);
94 output_segmentation_fault("Failed to save caller reply cap.", f);
103 output_segmentation_fault("Failed to write VM fault notification to buffer.", f);
146 output_segmentation_fault("Failed to retrieve content-init state.", f);
152 output_segmentation_fault("Fault address out of range!", f);
160 output_segmentation_fault("Invalid content initialiser PID.", f);
164 output_segmentation_fault("Invalid content-init endpoint!", f);
172 output_segmentation_fault("Failed to save reply cap as dspace waiter!", f);
196 output_segmentation_fault("Ou
[all...] |
Completed in 84 milliseconds