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