Searched defs:procServ (Results 1 - 4 of 4) sorted by relevance
/seL4-refos-master/projects/refos/impl/apps/process_server/src/ | ||
H A D | main.c | 142 initialise(platsupport_get_bootinfo(), &procServ); local |
H A D | state.c | 34 struct procserv_state procServ; variable in typeref:struct:procserv_state [all...] |
/seL4-refos-master/apps/process_server/src/ | ||
H A D | main.c | 142 initialise(platsupport_get_bootinfo(), &procServ); local |
H A D | state.c | 34 struct procserv_state procServ; variable in typeref:struct:procserv_state [all...] |
Completed in 38 milliseconds