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

/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/
H A Dhardware.c33 #define RESET_CYCLES ((CONFIG_SPIKE_CLOCK_FREQ / MS_IN_S) * CONFIG_TIMER_TICK_MS) macro
172 target = get_cycles() + RESET_CYCLES;
183 sbi_set_timer(get_cycles() + RESET_CYCLES);

Completed in 28 milliseconds