Home
last modified time | relevance | path

Searched refs:EXCEPTION_LOOKUP_FAULT (Results 1 – 11 of 11) sorted by relevance

/seL4-master/src/kernel/
A Dcspace.c138 ret.status = EXCEPTION_LOOKUP_FAULT; in resolveAddressBits()
160 ret.status = EXCEPTION_LOOKUP_FAULT; in resolveAddressBits()
167 ret.status = EXCEPTION_LOOKUP_FAULT; in resolveAddressBits()
/seL4-master/include/api/
A Dfailures.h19 EXCEPTION_LOOKUP_FAULT, enumerator
/seL4-master/src/arch/x86/kernel/
A Dept.c82 ret.status = EXCEPTION_LOOKUP_FAULT; in findEPTForASID()
107 ret.status = EXCEPTION_LOOKUP_FAULT; in lookupEPTPDPTSlot()
129 ret.status = EXCEPTION_LOOKUP_FAULT; in lookupEPTPDSlot()
137 ret.status = EXCEPTION_LOOKUP_FAULT; in lookupEPTPDSlot()
159 ret.status = EXCEPTION_LOOKUP_FAULT; in lookupEPTPTSlot()
168 ret.status = EXCEPTION_LOOKUP_FAULT; in lookupEPTPTSlot()
218 ret.status = EXCEPTION_LOOKUP_FAULT; in EPTPDPTMapped()
415 ret.status = EXCEPTION_LOOKUP_FAULT; in EPTPageDirectoryMapped()
603 ret.status = EXCEPTION_LOOKUP_FAULT; in EPTPageTableMapped()
A Dvspace.c555 ret.status = EXCEPTION_LOOKUP_FAULT; in findVSpaceForASID()
631 ret.status = EXCEPTION_LOOKUP_FAULT; in lookupPTSlot()
/seL4-master/src/arch/arm/object/
A Diospace.c66 pt_ret.status = EXCEPTION_LOOKUP_FAULT; in lookupIOPTSlot()
73 pt_ret.status = EXCEPTION_LOOKUP_FAULT; in lookupIOPTSlot()
82 pt_ret.status = EXCEPTION_LOOKUP_FAULT; in lookupIOPTSlot()
/seL4-master/src/arch/x86/object/
A Diospace.c88 ret.status = EXCEPTION_LOOKUP_FAULT; in lookupIOPTSlot_resolve_levels()
114 ret.status = EXCEPTION_LOOKUP_FAULT; in lookupIOPTSlot()
/seL4-master/src/arch/arm/64/kernel/
A Dvspace.c575 ret.status = EXCEPTION_LOOKUP_FAULT; in findVSpaceForASID()
584 ret.status = EXCEPTION_LOOKUP_FAULT; in findVSpaceForASID()
674 ret.status = EXCEPTION_LOOKUP_FAULT; in lookupPUDSlot()
705 ret.status = EXCEPTION_LOOKUP_FAULT; in lookupPDSlot()
735 ret.status = EXCEPTION_LOOKUP_FAULT; in lookupPTSlot()
2467 ret.status = EXCEPTION_LOOKUP_FAULT; in readWordFromVSpace()
/seL4-master/src/arch/x86/32/kernel/
A Dvspace_32paging.c337 ret.status = EXCEPTION_LOOKUP_FAULT; in readWordFromVSpace()
/seL4-master/src/arch/x86/64/kernel/
A Dvspace.c1005 ret.status = EXCEPTION_LOOKUP_FAULT; in lookupPDPTSlot()
1037 ret.status = EXCEPTION_LOOKUP_FAULT; in lookupPDSlot()
1569 ret.status = EXCEPTION_LOOKUP_FAULT; in readWordFromVSpace()
/seL4-master/src/arch/arm/32/kernel/
A Dvspace.c611 ret.status = EXCEPTION_LOOKUP_FAULT; in findPDForASID()
620 ret.status = EXCEPTION_LOOKUP_FAULT; in findPDForASID()
703 ret.status = EXCEPTION_LOOKUP_FAULT; in lookupPTSlot()
2821 ret.status = EXCEPTION_LOOKUP_FAULT;
/seL4-master/src/arch/riscv/kernel/
A Dvspace.c328 ret.status = EXCEPTION_LOOKUP_FAULT; in findVSpaceForASID()
337 ret.status = EXCEPTION_LOOKUP_FAULT; in findVSpaceForASID()

Completed in 29 milliseconds