Searched refs:cntv_ctl (Results 1 – 1 of 1) sorted by relevance
2031 uint64_t cntv_ctl = __builtin_arm_rsr64("CNTV_CTL_EL0"); in ml_get_timer_pending() local2032 return ((cntv_ctl & CNTV_CTL_EL0_ISTATUS) != 0) ? TRUE : FALSE; in ml_get_timer_pending()