Searched refs:c_handle_vm_fault (Results 1 – 1 of 1) sorted by relevance
65 static inline void NORETURN c_handle_vm_fault(vm_fault_type_t type) in c_handle_vm_fault() function82 c_handle_vm_fault(seL4_DataFault); in c_handle_data_fault()87 c_handle_vm_fault(seL4_InstructionFault); in c_handle_instruction_fault()
Completed in 3 milliseconds