ARC_REG_TIMER1_CNT
return (u64) read_aux_reg(ARC_REG_TIMER1_CNT);
write_aux_reg(ARC_REG_TIMER1_CNT, 0);