Searched defs:cntpctl (Results 1 – 1 of 1) sorted by relevance
181 uint64_t cntpctl; in read_cntpctl() local 189 static inline void write_cntpctl(uint64_t cntpctl) in write_cntpctl() argument 202 uint64_t cntpctl = read_cntpctl(); in stop_generic_timer() local