Searched refs:US_IN_MS (Results 1 - 9 of 9) sorted by relevance

/seL4-test-master/projects/util_libs/libutils/include/utils/
H A Dtime.h23 #define US_IN_MS 1000llu macro
/seL4-test-master/kernel/include/arch/riscv/arch/machine/
H A Dtimer.h17 #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 Dscheduler.c1008 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 Dfaults.c859 set_helper_sched_params(env, &helper, US_IN_MS, US_IN_S, data);
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dprocess_config.h194 config.sched_params = sched_params_round_robin(config.sched_params, simple, 0, timeslice * US_IN_MS);
H A Dthread_config.h185 config.sched_params = sched_params_round_robin(config.sched_params, simple, 0, timeslice * US_IN_MS);
/seL4-test-master/kernel/include/
H A Dutil.h22 #define US_IN_MS 1000llu macro
/seL4-test-master/kernel/src/kernel/
H A Dboot.c441 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 Dthread.c308 ksDomainTime = usToTicks(ksDomSchedule[ksDomScheduleIdx].length * US_IN_MS);

Completed in 73 milliseconds