Home
last modified time | relevance | path

Searched refs:US_IN_MS (Results 1 – 4 of 4) sorted by relevance

/seL4-master/include/arch/riscv/arch/machine/
A Dtimer.h17 #define TICKS_IN_US (TIMER_CLOCK_HZ / (US_IN_MS * MS_IN_S))
/seL4-master/include/
A Dutil.h65 #define US_IN_MS ULL_CONST(1000) macro
/seL4-master/src/kernel/
A Dboot.c454 … usToTicks(CONFIG_BOOT_THREAD_TIME_SLICE * US_IN_MS), SMP_TERNARY(i, 0)); in create_idle_thread()
507 …ched_context(tcb, SC_PTR(rootserver.sc), usToTicks(CONFIG_BOOT_THREAD_TIME_SLICE * US_IN_MS), 0)) { in create_initial_thread()
522 ksDomainTime = usToTicks(ksDomSchedule[ksDomScheduleIdx].length * US_IN_MS); in create_initial_thread()
A Dthread.c314 ksDomainTime = usToTicks(ksDomSchedule[ksDomScheduleIdx].length * US_IN_MS); in nextDomain()

Completed in 8 milliseconds