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

/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c238 cap_t prev_cap = srcSlot->cap; local
239 word_t block_size = cap_untyped_cap_get_capBlockSize(prev_cap);
240 void *regionBase = WORD_PTR(cap_untyped_cap_get_capPtr(prev_cap));
242 word_t offset = FREE_INDEX_TO_OFFSET(cap_untyped_cap_get_capFreeIndex(prev_cap));
244 bool_t deviceMemory = cap_untyped_cap_get_capIsDevice(prev_cap);
259 srcSlot->cap = cap_untyped_cap_set_capFreeIndex(prev_cap, 0);
264 srcSlot->cap = cap_untyped_cap_set_capFreeIndex(prev_cap, OFFSET_TO_FREE_INDEX(offset));

Completed in 77 milliseconds