/* Get CNTP_CVAL This function returns the value of the 64 bits PL1 Physical Timer CompareValue Register (CNTP_CVAL). return CNTP_CVAL Register value  */
static rt_uint64_t __get_cntp_cval(void)
/* Get CNTP_CVAL This function returns the value of the 64 bits PL1 Physical Timer CompareValue Register (CNTP_CVAL). return CNTP_CVAL Register value  */
static rt_uint64_t __get_cntp_cval(void)
{
    rt_uint64_t result;
    __get_cp64(15, 2, result, 14);
    return result;
}