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

/seL4-mcs-10.1.1/include/
H A Dutil.h27 #define US_IN_MS 1000llu macro
/seL4-mcs-10.1.1/src/kernel/
H A Dboot.c435 usToTicks(CONFIG_BOOT_THREAD_TIME_SLICE * US_IN_MS));
504 if (!create_sched_context(tcb, usToTicks(CONFIG_BOOT_THREAD_TIME_SLICE * US_IN_MS))) {
512 ksDomainTime = usToTicks(ksDomSchedule[ksDomScheduleIdx].length * US_IN_MS);
H A Dthread.c298 ksDomainTime = usToTicks(ksDomSchedule[ksDomScheduleIdx].length * US_IN_MS);

Completed in 29 milliseconds