Searched refs:EXCEPTION_FAULT (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/api/
H A Dfailures.h22 EXCEPTION_FAULT, enumerator in enum:exception
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dfaulthandler.c44 return EXCEPTION_FAULT;
65 return EXCEPTION_FAULT;
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dvspace.c425 return EXCEPTION_FAULT;
429 return EXCEPTION_FAULT;
434 return EXCEPTION_FAULT;
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c1347 return EXCEPTION_FAULT;
1351 return EXCEPTION_FAULT;
1379 return EXCEPTION_FAULT;
1383 return EXCEPTION_FAULT;
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dvspace.c579 return EXCEPTION_FAULT;
583 return EXCEPTION_FAULT;
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c988 return EXCEPTION_FAULT;
1003 return EXCEPTION_FAULT;

Completed in 66 milliseconds