/* Change Logs: Date Author Notes  huijie.feng first version Set CNTFRQ This function assigns the given value to PL1 Physical Timer Counter Frequency Register (CNTFRQ).  */
static void __set_cntfrq(rt_uint32_t value)
/* Change Logs: Date Author Notes  huijie.feng first version Set CNTFRQ This function assigns the given value to PL1 Physical Timer Counter Frequency Register (CNTFRQ).  */
static void __set_cntfrq(rt_uint32_t value)
{
    __set_cp(15, 0, value, 14, 0, 0);
}