/* Set CNTP_CVAL This function assigns the given value to 64bits PL1 Physical Timer CompareValue Register (CNTP_CVAL). param value: CNTP_CVAL Register value to set  */
static void __set_cntp_cval(rt_uint64_t value)
/* Set CNTP_CVAL This function assigns the given value to 64bits PL1 Physical Timer CompareValue Register (CNTP_CVAL). param value: CNTP_CVAL Register value to set  */
static void __set_cntp_cval(rt_uint64_t value)
{
    __set_cp64(15, 2, value, 14);
}