Searched refs:srcCap (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/object/
H A Dstructures.h19 Arch_isCapRevocable(cap_t derivedCap, cap_t srcCap) argument
/seL4-l4v-10.1.1/seL4/include/object/
H A Dstructures.h436 isCapRevocable(cap_t derivedCap, cap_t srcCap) argument
439 return Arch_isCapRevocable(derivedCap, srcCap);
444 cap_endpoint_cap_get_capEPBadge(srcCap));
448 cap_notification_cap_get_capNtfnBadge(srcCap));
451 return (cap_get_capType(srcCap) ==
/seL4-l4v-10.1.1/seL4/src/object/
H A Dcnode.c80 cap_t srcCap; local
124 srcCap = maskCapRights(cap_rights, srcSlot->cap);
125 dc_ret = deriveCap(srcSlot, srcCap);
144 srcCap = maskCapRights(cap_rights, srcSlot->cap);
146 updateCapData(false, capData, srcCap));
399 setUntypedCapAsFull(cap_t srcCap, cap_t newCap, cte_t *srcSlot) argument
401 if ((cap_get_capType(srcCap) == cap_untyped_cap)
403 if ((cap_untyped_cap_get_capPtr(srcCap)
406 == cap_untyped_cap_get_capBlockSize(srcCap))) {
408 MAX_FREE_INDEX(cap_untyped_cap_get_capBlockSize(srcCap)));
417 cap_t srcCap; local
[all...]
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/object/
H A Dstructures.h162 Arch_isCapRevocable(cap_t derivedCap, cap_t srcCap) argument
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/object/
H A Dstructures.h320 Arch_isCapRevocable(cap_t derivedCap, cap_t srcCap) argument
324 return cap_get_capType(srcCap) == cap_io_port_control_cap;

Completed in 93 milliseconds