Home
last modified time | relevance | path

Searched refs:isArchCap (Results 1 – 9 of 9) sorted by relevance

/seL4-master/src/object/
A Dobjecttype.c66 if (isArchCap(cap)) { in deriveCap()
108 if (isArchCap(cap)) { in finaliseCap()
372 if (isArchCap(cap_a) && in sameRegionAs()
373 isArchCap(cap_b)) { in sameRegionAs()
391 if (isArchCap(cap_a) && isArchCap(cap_b)) { in sameObjectAs()
399 if (isArchCap(cap)) { in updateCapData()
445 if (isArchCap(cap)) { in maskCapRights()
630 if (isArchCap(cap)) { in decodeInvocation()
995 if (isArchCap(derivedCap)) { in isCapRevocable()
/seL4-master/include/object/
A Dobjecttype.h58 } else if (isArchCap(cap)) { in postCapDeletion()
A Dstructures.h424 isArchCap(cap_t cap) in isArchCap() function
/seL4-master/include/arch/riscv/arch/32/mode/object/
A Dstructures.bf61 -- NB: odd numbers are arch caps (see isArchCap())
/seL4-master/include/arch/riscv/arch/64/mode/object/
A Dstructures.bf67 -- NB: odd numbers are arch caps (see isArchCap())
/seL4-master/include/arch/arm/arch/64/mode/object/
A Dstructures.bf157 -- NB: odd numbers are arch caps (see isArchCap())
/seL4-master/include/arch/x86/arch/32/mode/object/
A Dstructures.bf186 -- NB: odd numbers are arch caps (see isArchCap())
/seL4-master/include/arch/arm/arch/32/mode/object/
A Dstructures.bf136 -- NB: odd numbers are arch caps (see isArchCap())
/seL4-master/include/arch/x86/arch/64/mode/object/
A Dstructures.bf216 -- NB: odd numbers are arch caps (see isArchCap())

Completed in 10 milliseconds