Searched refs:get_cp0_count (Results 1 – 1 of 1) sorted by relevance
36 static ALWAYS_INLINE uint32_t get_cp0_count(void) in get_cp0_count() function46 uint32_t now = get_cp0_count(); in timer_isr()76 uint32_t current_count = get_cp0_count(); in sys_clock_set_timeout()104 uint32_t ticks_elapsed = (get_cp0_count() - last_count) / CYC_PER_TICK; in sys_clock_elapsed()112 return get_cp0_count(); in sys_clock_cycle_get_32()119 last_count = get_cp0_count(); in sys_clock_driver_init()
