Searched refs:expire_cnt (Results 1 – 1 of 1) sorted by relevance
44 static inline bool timeout_elapsed(uint64_t expire_cnt) in timeout_elapsed() argument46 return read_cntpct_el0() > expire_cnt; in timeout_elapsed()