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

/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dprocess.h78 SEL4UTILS_ENDPOINT_SLOT = 2, enumerator in enum:sel4utils_cspace_layout
/seL4-test-master/projects/seL4_libs/libsel4utils/src/
H A Dprocess.c466 assert(slot == SEL4UTILS_ENDPOINT_SLOT);
612 thread_config = thread_config_fault_endpoint(thread_config, SEL4UTILS_ENDPOINT_SLOT);

Completed in 26 milliseconds