Searched refs:txdivtime (Results 1 – 1 of 1) sorted by relevance
95 unsigned int txdivtime; in arch_timer_setup() local99 txdivtime = __core_reg_get(TXDIVTIME); in arch_timer_setup()101 txdivtime &= ~TXDIVTIME_DIV_BITS; in arch_timer_setup()102 txdivtime |= (HARDWARE_DIV & TXDIVTIME_DIV_BITS); in arch_timer_setup()104 __core_reg_set(TXDIVTIME, txdivtime); in arch_timer_setup()