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

/seL4-test-master/kernel/src/object/
H A Duntyped.c240 cap_t prev_cap = srcSlot->cap; local
241 word_t block_size = cap_untyped_cap_get_capBlockSize(prev_cap);
242 void *regionBase = WORD_PTR(cap_untyped_cap_get_capPtr(prev_cap));
244 word_t offset = FREE_INDEX_TO_OFFSET(cap_untyped_cap_get_capFreeIndex(prev_cap));
246 bool_t deviceMemory = cap_untyped_cap_get_capIsDevice(prev_cap);
261 srcSlot->cap = cap_untyped_cap_set_capFreeIndex(prev_cap, 0);
266 srcSlot->cap = cap_untyped_cap_set_capFreeIndex(prev_cap, OFFSET_TO_FREE_INDEX(offset));

Completed in 26 milliseconds