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

/seL4-refos-master/libs/librefos/include/refos/
H A Derror.h72 EDELEGATED enumerator in enum:refos_error
119 case EDELEGATED:
120 return "EDELEGATED";
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos/
H A Derror.h72 EDELEGATED enumerator in enum:refos_error
119 case EDELEGATED:
120 return "EDELEGATED";
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Dfault_handler.c187 return EDELEGATED;
253 return EDELEGATED;
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Dfault_handler.c187 return EDELEGATED;
253 return EDELEGATED;

Completed in 45 milliseconds