Searched refs:FAULT_UNHANDLED (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/include/sel4vm/
H A Dguest_memory.h48 FAULT_UNHANDLED, /** The memory fault was left unhandled */ enumerator in enum:memory_fault_result
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/
H A Dmem_abort.c63 case FAULT_UNHANDLED:
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/
H A Dept.c90 case FAULT_UNHANDLED:
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/
H A Dguest_memory.c274 return FAULT_UNHANDLED;
289 return FAULT_UNHANDLED;

Completed in 139 milliseconds