Searched refs:srcCap (Results 1 - 5 of 5) sorted by relevance
/seL4-camkes-master/kernel/include/arch/arm/arch/object/ |
H A D | structures.h | 13 static inline bool_t CONST Arch_isCapRevocable(cap_t derivedCap, cap_t srcCap) argument
|
/seL4-camkes-master/kernel/include/object/ |
H A D | structures.h | 600 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 D | cnode.c | 81 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 D | structures.h | 146 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 D | structures.h | 299 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