/* Set the physical compare value. param value: New physical timer compare value.  */
void gtimer_set_physical_compare_value(rt_uint64_t value)
/* Set the physical compare value. param value: New physical timer compare value.  */
void gtimer_set_physical_compare_value(rt_uint64_t value)
{
    __set_cntp_cval(value);
    __asm__ volatile ("isb 0xF":::"memory");
}