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

/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dprocess.h74 SEL4UTILS_CNODE_SLOT = 1, enumerator in enum:sel4utils_cspace_layout
/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/
H A Dtesttypes.c207 env->init->root_cnode = SEL4UTILS_CNODE_SLOT;
/seL4-test-master/projects/seL4_libs/libsel4utils/src/
H A Dprocess.c460 assert(slot == SEL4UTILS_CNODE_SLOT);
731 return SEL4UTILS_CNODE_SLOT;
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dserial_server.c307 *allocman = bootstrap_use_current_1level(SEL4UTILS_CNODE_SLOT,
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/
H A Dbootstrap.c446 seL4_CPtr new_cnode = SEL4UTILS_CNODE_SLOT;

Completed in 100 milliseconds