Searched defs:system (Results 1 - 4 of 4) sorted by relevance
/seL4-refos-master/kernel/include/model/ | ||
H A D | smp.h | 18 nodeState_t system; member in struct:smpStatedata |
/seL4-refos-master/libs/libmuslc/src/process/ | ||
H A D | system.c | 12 int system(const char *cmd) function |
/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/ | ||
H A D | ltimer.c | 36 system_timer_t system; member in struct:__anon20 |
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ | ||
H A D | ltimer.c | 36 system_timer_t system; member in struct:__anon61 |
Completed in 112 milliseconds