/* Get CNTFRQ This function returns the value of the PL1 Physical Timer Counter Frequency Register (CNTFRQ). return CNTFRQ Register value  */
static rt_uint32_t __get_cntfrq(void)
/* Get CNTFRQ This function returns the value of the PL1 Physical Timer Counter Frequency Register (CNTFRQ). return CNTFRQ Register value  */
static rt_uint32_t __get_cntfrq(void)
{
    rt_uint32_t result;
    __get_cp(15, 0, result, 14, 0 , 0);
    return result;
}