Searched defs:CONFIG_TIMER_TICK_MS (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/kernel/libsel4/include/sel4/
H A Dconfig.h77 #define CONFIG_TIMER_TICK_MS 2 macro
/seL4-refos-master/libs/libsel4/include/sel4/
H A Dconfig.h77 #define CONFIG_TIMER_TICK_MS 2 macro
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dmcs_api.h28 #define CONFIG_TIMER_TICK_MS CONFIG_BOOT_THREAD_TIME_SLICE macro
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dmcs_api.h28 #define CONFIG_TIMER_TICK_MS CONFIG_BOOT_THREAD_TIME_SLICE macro

Completed in 86 milliseconds