Searched refs:fault_handler (Results 1 - 4 of 4) sorted by relevance
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/ |
| H A D | vm.c | 21 int vm_register_unhandled_mem_fault_callback(vm_t *vm, unhandled_mem_fault_callback_fn fault_handler, argument
29 if (!fault_handler) {
33 vm->mem.unhandled_mem_fault_handler = fault_handler;
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/include/sel4vm/ |
| H A D | guest_vm.h | 228 * @function vm_register_unhandled_mem_fault_callback(vm, fault_handler, cookie)
231 * @param {unhandled_mem_fault_callback_fn} fault_handler A user supplied callback to process unhandled memory faults
235 int vm_register_unhandled_mem_fault_callback(vm_t *vm, unhandled_mem_fault_callback_fn fault_handler,
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | component.common.c | 468 /*- do thread_names.__setitem__(tcb, "fault_handler") -*/
566 static void fault_handler(void) UNUSED NORETURN;
567 static void fault_handler(void) { function
805 fault_handler();
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | thread.c | 292 fault_handler(char *name, seL4_CPtr endpoint) function
316 return sel4utils_start_thread(res, (sel4utils_thread_entry_fn)fault_handler, name,
|
Completed in 43 milliseconds