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