Searched refs:write_cntpctl (Results 1 – 1 of 1) sorted by relevance
189 static inline void write_cntpctl(uint64_t cntpctl) in write_cntpctl() function204 write_cntpctl(clr_cntp_ctl_enable(cntpctl)); in stop_generic_timer()
Completed in 3 milliseconds