Searched defs:cntpctl (Results 1 – 2 of 2) 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
144 uint64_t cntpctl = read_cntp_ctl_el0(); in stop_generic_timer() local
Completed in 4 milliseconds