Searched refs:reg_system_timer_read_32k (Results 1 – 2 of 2) sorted by relevance
75 #define reg_system_timer_read_32k REG_ADDR32(STIMER_BASE_ADDR+0x10) macro
234 timer_32k_tick = reg_system_timer_read_32k;
