/* Configures the frequency the timer shall run at. param value The timer frequency in Hz.  */
void gtimer_set_counter_frequency(rt_uint32_t value)
/* Configures the frequency the timer shall run at. param value The timer frequency in Hz.  */
void gtimer_set_counter_frequency(rt_uint32_t value)
{
    __set_cntfrq(value);
    __asm__ volatile ("isb 0xF":::"memory");
}