Searched refs:txdivtime (Results 1 – 1 of 1) sorted by relevance
114 unsigned int txdivtime; in arch_timer_setup() local118 txdivtime = __core_reg_get(TXDIVTIME); in arch_timer_setup()120 txdivtime &= ~TXDIVTIME_DIV_BITS; in arch_timer_setup()121 txdivtime |= (HARDWARE_DIV & TXDIVTIME_DIV_BITS); in arch_timer_setup()123 __core_reg_set(TXDIVTIME, txdivtime); in arch_timer_setup()