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

/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dprocess.h40 uint32_t cspace_size; member in struct:__anon447
/seL4-test-master/projects/seL4_libs/libsel4utils/src/
H A Dprocess.c76 if (process->cspace_next_free >= (BIT(process->cspace_size))) {
83 dest->capDepth = process->cspace_size;
90 assert(process->cspace_next_free < (BIT(process->cspace_size)));
452 process->cspace_size = size_bits;

Completed in 27 milliseconds