/* Set CNTP_TVAL This function assigns the given value to PL1 Physical Timer Value Register (CNTP_TVAL). param value: CNTP_TVAL Register value to set  */
static void __set_cntp_tval(rt_uint32_t value)
/* Set CNTP_TVAL This function assigns the given value to PL1 Physical Timer Value Register (CNTP_TVAL). param value: CNTP_TVAL Register value to set  */
static void __set_cntp_tval(rt_uint32_t value)
{
    __set_cp(15, 0, value, 14, 2, 0);
}