Searched refs:derivedCap (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/kernel/include/arch/arm/arch/object/
H A Dstructures.h13 static inline bool_t CONST Arch_isCapRevocable(cap_t derivedCap, cap_t srcCap) argument
/seL4-camkes-master/kernel/include/object/
H A Dstructures.h600 static inline bool_t CONST isCapRevocable(cap_t derivedCap, cap_t srcCap) argument
602 if (isArchCap(derivedCap)) {
603 return Arch_isCapRevocable(derivedCap, srcCap);
605 switch (cap_get_capType(derivedCap)) {
607 return (cap_endpoint_cap_get_capEPBadge(derivedCap) !=
611 return (cap_notification_cap_get_capNtfnBadge(derivedCap) !=
/seL4-camkes-master/kernel/include/arch/riscv/arch/object/
H A Dstructures.h146 static inline bool_t CONST Arch_isCapRevocable(cap_t derivedCap, cap_t srcCap) argument
/seL4-camkes-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h299 static inline bool_t CONST Arch_isCapRevocable(cap_t derivedCap, cap_t srcCap) argument
301 switch (cap_get_capType(derivedCap)) {

Completed in 92 milliseconds