Home
last modified time | relevance | path

Searched defs:Arch_isCapRevocable (Results 1 – 3 of 3) 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() function
/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() function
/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() function

Completed in 12 milliseconds