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