/* Get CNTP_TVAL This function returns the value of the PL1 Physical Timer Value Register (CNTP_TVAL). return CNTP_TVAL Register value  */
static rt_uint32_t __get_cntp_tval(void)
/* Get CNTP_TVAL This function returns the value of the PL1 Physical Timer Value Register (CNTP_TVAL). return CNTP_TVAL Register value  */
static rt_uint32_t __get_cntp_tval(void)
{
    rt_uint32_t result;
    __get_cp(15, 0, result, 14, 2, 0);
    return result;
}