Home
last modified time | relevance | path

Searched defs:srcCap (Results 1 – 5 of 5) sorted by relevance

/seL4-master/include/arch/arm/arch/object/
A Dstructures.h13 static inline bool_t CONST Arch_isCapRevocable(cap_t derivedCap, cap_t srcCap) in Arch_isCapRevocable()
/seL4-master/src/object/
A Dcnode.c81 cap_t srcCap; in decodeCNodeInvocation() local
396 static void setUntypedCapAsFull(cap_t srcCap, cap_t newCap, cte_t *srcSlot) in setUntypedCapAsFull()
413 cap_t srcCap; in cteInsert() local
A Dobjecttype.c993 bool_t CONST isCapRevocable(cap_t derivedCap, cap_t srcCap) in isCapRevocable()
/seL4-master/include/arch/riscv/arch/object/
A Dstructures.h146 static inline bool_t CONST Arch_isCapRevocable(cap_t derivedCap, cap_t srcCap) in Arch_isCapRevocable()
/seL4-master/include/arch/x86/arch/object/
A Dstructures.h299 static inline bool_t CONST Arch_isCapRevocable(cap_t derivedCap, cap_t srcCap) in Arch_isCapRevocable()

Completed in 13 milliseconds