/* Sets the reset value of the timer. param value: The value the timer is loaded with.  */
void gtimer_set_load_value(rt_uint32_t value)
/* Sets the reset value of the timer. param value: The value the timer is loaded with.  */
void gtimer_set_load_value(rt_uint32_t value)
{
    __set_cntp_tval(value);
    __asm__ volatile ("isb 0xF":::"memory");
}