/* Configure the timer by setting the control value. param value: New timer control value.  */
void gtimer_set_control(rt_uint32_t value)
/* Configure the timer by setting the control value. param value: New timer control value.  */
void gtimer_set_control(rt_uint32_t value)
{
    __set_cntp_ctl(value);
    __asm__ volatile ("isb 0xF":::"memory");
}