Searched refs:srcCap (Results 1 - 5 of 5) 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
603 return Arch_isCapRevocable(derivedCap, srcCap);
608 cap_endpoint_cap_get_capEPBadge(srcCap));
612 cap_notification_cap_get_capNtfnBadge(srcCap));
615 return (cap_get_capType(srcCap) ==
/seL4-camkes-master/kernel/src/object/
H A Dcnode.c81 cap_t srcCap; local
125 srcCap = maskCapRights(cap_rights, srcSlot->cap);
126 dc_ret = deriveCap(srcSlot, srcCap);
145 srcCap = maskCapRights(cap_rights, srcSlot->cap);
147 updateCapData(false, capData, srcCap));
396 static void setUntypedCapAsFull(cap_t srcCap, cap_t newCap, cte_t *srcSlot) argument
398 if ((cap_get_capType(srcCap) == cap_untyped_cap)
400 if ((cap_untyped_cap_get_capPtr(srcCap)
403 == cap_untyped_cap_get_capBlockSize(srcCap))) {
405 MAX_FREE_INDEX(cap_untyped_cap_get_capBlockSize(srcCap)));
413 cap_t srcCap; local
[all...]
/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
303 return cap_get_capType(srcCap) == cap_io_port_control_cap;

Completed in 100 milliseconds