Searched refs:read_cntpctl (Results 1 – 1 of 1) sorted by relevance
179 static inline uint64_t read_cntpctl(void) in read_cntpctl() function202 uint64_t cntpctl = read_cntpctl(); in stop_generic_timer()