/* Set Timer0 count register to the specified value.  */
static ALWAYS_INLINE void timer0_count_register_set(uint32_t value)
/* Set Timer0 count register to the specified value.  */
static ALWAYS_INLINE void timer0_count_register_set(uint32_t value)
{
	z_arc_v2_aux_reg_write(_ARC_V2_TMR0_COUNT, value);
}