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

/seL4-mcs-10.1.1/src/object/
H A Dobjecttype.c396 cap_t new_cap; local
399 new_cap = cap_cnode_cap_set_capCNodeGuard(cap, guard);
400 new_cap = cap_cnode_cap_set_capCNodeGuardSize(new_cap,
403 return new_cap;
434 cap_t new_cap; local
436 new_cap = cap_endpoint_cap_set_capCanSend(
439 new_cap = cap_endpoint_cap_set_capCanReceive(
440 new_cap, cap_endpoint_cap_get_capCanReceive(cap) &
442 new_cap
450 cap_t new_cap; local
[all...]

Completed in 74 milliseconds