Searched refs:US_IN_MS (Results 1 - 9 of 9) sorted by relevance
/seL4-test-master/projects/util_libs/libutils/include/utils/ |
H A D | time.h | 23 #define US_IN_MS 1000llu macro
|
/seL4-test-master/kernel/include/arch/riscv/arch/machine/ |
H A D | timer.h | 17 #define TICKS_IN_US (TIMER_CLOCK_HZ / (US_IN_MS * MS_IN_S))
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | scheduler.c | 1008 uint64_t period = 100 * US_IN_MS; 1133 set_helper_sched_params(env, &helpers[0], 10 * US_IN_MS, 100 * US_IN_MS, 0); 1134 set_helper_sched_params(env, &helpers[1], 10 * US_IN_MS, 200 * US_IN_MS, 0); 1135 set_helper_sched_params(env, &helpers[2], 10 * US_IN_MS, 800 * US_IN_MS, 0); 1347 error = set_helper_sched_params(env, &to, 500 * US_IN_MS, 500 * US_IN_MS, 0); 1349 error = set_helper_sched_params(env, &from, 500 * US_IN_MS, 50 [all...] |
H A D | faults.c | 859 set_helper_sched_params(env, &helper, US_IN_MS, US_IN_S, data);
|
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | process_config.h | 194 config.sched_params = sched_params_round_robin(config.sched_params, simple, 0, timeslice * US_IN_MS);
|
H A D | thread_config.h | 185 config.sched_params = sched_params_round_robin(config.sched_params, simple, 0, timeslice * US_IN_MS);
|
/seL4-test-master/kernel/include/ |
H A D | util.h | 22 #define US_IN_MS 1000llu macro
|
/seL4-test-master/kernel/src/kernel/ |
H A D | boot.c | 441 usToTicks(CONFIG_BOOT_THREAD_TIME_SLICE * US_IN_MS), SMP_TERNARY(i, 0)); 494 if (!configure_sched_context(tcb, SC_PTR(rootserver.sc), usToTicks(CONFIG_BOOT_THREAD_TIME_SLICE * US_IN_MS), 0)) { 509 ksDomainTime = usToTicks(ksDomSchedule[ksDomScheduleIdx].length * US_IN_MS);
|
H A D | thread.c | 308 ksDomainTime = usToTicks(ksDomSchedule[ksDomScheduleIdx].length * US_IN_MS);
|
Completed in 73 milliseconds