Home
last modified time | relevance | path

Searched refs:current_lookup_fault (Results 1 – 15 of 15) sorted by relevance

/seL4-master/src/kernel/
A Dcspace.c76 current_lookup_fault = lookup_fault_invalid_root_new(); in lookupSlotForCNodeOp()
100 current_lookup_fault = in lookupSlotForCNodeOp()
137 current_lookup_fault = lookup_fault_invalid_root_new(); in resolveAddressBits()
158 current_lookup_fault = in resolveAddressBits()
165 current_lookup_fault = in resolveAddressBits()
A Dfaulthandler.c71 original_lookup_fault = current_lookup_fault; in sendFaultIPC()
97 current_lookup_fault = lookup_fault_missing_capability_new(0); in sendFaultIPC()
/seL4-master/src/
A Dinlines.c10 lookup_fault_t current_lookup_fault; variable
/seL4-master/include/api/
A Dfailures.h47 extern lookup_fault_t current_lookup_fault;
/seL4-master/
A Dgdb-macros21 current_lookup_fault
107 define current_lookup_fault
108 #print current_lookup_fault
109 if((current_lookup_fault.words[0] & 0x3)==lookup_fault_invalid_root)
112 if((current_lookup_fault.words[0] & 0x3)==lookup_fault_missing_capability)
115 if ((current_lookup_fault.words[0] & 0x3)==lookup_fault_depth_mismatch)
118 if((current_lookup_fault.words[0] & 0x3)==lookup_fault_guard_mismatch)
128 document current_lookup_fault
129 Decodes the current_lookup_fault variable to determine what went wrong with the last lookup
/seL4-master/src/api/
A Dsyscall.c527 current_lookup_fault = lookup_fault_missing_capability_new(0); in handleRecv()
558 current_lookup_fault = lookup_fault_missing_capability_new(0); in handleRecv()
568 current_lookup_fault = lookup_fault_missing_capability_new(0); in handleRecv()
/seL4-master/src/arch/x86/kernel/
A Dept.c79 current_lookup_fault = lookup_fault_invalid_root_new(); in findEPTForASID()
104 current_lookup_fault = lookup_fault_missing_capability_new(EPT_PML4_INDEX_OFFSET); in lookupEPTPDPTSlot()
134 current_lookup_fault = lookup_fault_missing_capability_new(EPT_PDPT_INDEX_OFFSET); in lookupEPTPDSlot()
165 current_lookup_fault = lookup_fault_missing_capability_new(EPT_PD_INDEX_OFFSET); in lookupEPTPTSlot()
A Dvspace.c552 current_lookup_fault = lookup_fault_invalid_root_new(); in findVSpaceForASID()
629 current_lookup_fault = lookup_fault_missing_capability_new(PAGE_BITS + PT_INDEX_BITS); in lookupPTSlot()
1371 current_lookup_fault = lookup_fault_invalid_root_new(); in decodeX86MMUInvocation()
/seL4-master/src/arch/riscv/kernel/
A Dvspace.c325 current_lookup_fault = lookup_fault_invalid_root_new(); in findVSpaceForASID()
334 current_lookup_fault = lookup_fault_invalid_root_new(); in findVSpaceForASID()
854 current_lookup_fault = lookup_fault_missing_capability_new(lu_ret.ptBitsLeft); in decodeRISCVFrameInvocation()
1046 current_lookup_fault = lookup_fault_invalid_root_new(); in decodeRISCVMMUInvocation()
/seL4-master/src/object/
A Dcnode.c110 current_lookup_fault = in decodeCNodeInvocation()
281 current_lookup_fault = lookup_fault_missing_capability_new(srcDepth); in decodeCNodeInvocation()
288 current_lookup_fault = lookup_fault_missing_capability_new(pivotDepth); in decodeCNodeInvocation()
A Duntyped.c131 current_lookup_fault = lookup_fault_missing_capability_new(nodeDepth); in decodeUntypedInvocation()
A Dtcb.c2072 current_lookup_fault, 1); in setMRs_syscall_error()
/seL4-master/src/arch/arm/64/kernel/
A Dvspace.c572 current_lookup_fault = lookup_fault_invalid_root_new(); in findVSpaceForASID()
581 current_lookup_fault = lookup_fault_invalid_root_new(); in findVSpaceForASID()
671 current_lookup_fault = lookup_fault_missing_capability_new(PGD_INDEX_OFFSET); in lookupPUDSlot()
702 current_lookup_fault = lookup_fault_missing_capability_new(PUD_INDEX_OFFSET); in lookupPDSlot()
732 current_lookup_fault = lookup_fault_missing_capability_new(PD_INDEX_OFFSET); in lookupPTSlot()
2395 current_lookup_fault = lookup_fault_invalid_root_new(); in decodeARMMMUInvocation()
/seL4-master/src/arch/arm/32/kernel/
A Dvspace.c608 current_lookup_fault = lookup_fault_invalid_root_new(); in findPDForASID()
617 current_lookup_fault = lookup_fault_invalid_root_new(); in findPDForASID()
700 current_lookup_fault = lookup_fault_missing_capability_new(PT_INDEX_BITS + PAGE_BITS); in lookupPTSlot()
2631 current_lookup_fault = lookup_fault_invalid_root_new();
/seL4-master/src/arch/x86/64/kernel/
A Dvspace.c1002 current_lookup_fault = lookup_fault_missing_capability_new(PML4_INDEX_OFFSET); in lookupPDPTSlot()
1034 current_lookup_fault = lookup_fault_missing_capability_new(PDPT_INDEX_OFFSET); in lookupPDSlot()

Completed in 39 milliseconds