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

/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dprocess_config.h58 bool create_fault_endpoint; member in struct:__anon3
153 config.create_fault_endpoint = true;
161 config.create_fault_endpoint = false;
169 config.create_fault_endpoint = false;
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dprocess_config.h58 bool create_fault_endpoint; member in struct:__anon4
153 config.create_fault_endpoint = true;
161 config.create_fault_endpoint = false;
169 config.create_fault_endpoint = false;
/seL4-refos-master/libs/libsel4utils/src/
H A Dprocess.c488 static int create_fault_endpoint(vka_t *vka, sel4utils_process_t *process) function
527 if (config.create_fault_endpoint) {
528 if (create_fault_endpoint(vka, process) != 0) {
652 if (config.create_fault_endpoint && process->fault_endpoint.cptr != 0) {
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/
H A Dprocess.c488 static int create_fault_endpoint(vka_t *vka, sel4utils_process_t *process) function
527 if (config.create_fault_endpoint) {
528 if (create_fault_endpoint(vka, process) != 0) {
652 if (config.create_fault_endpoint && process->fault_endpoint.cptr != 0) {

Completed in 45 milliseconds