Searched refs:cntpctl (Results 1 – 2 of 2) sorted by relevance
181 uint64_t cntpctl; in read_cntpctl() local184 : "=r" (cntpctl) : : "memory"); in read_cntpctl()186 return cntpctl; in read_cntpctl()189 static inline void write_cntpctl(uint64_t cntpctl) in write_cntpctl() argument191 __asm__ volatile("msr cntp_ctl_el0, %x0" : : "r"(cntpctl)); in write_cntpctl()202 uint64_t cntpctl = read_cntpctl(); in stop_generic_timer() local204 write_cntpctl(clr_cntp_ctl_enable(cntpctl)); in stop_generic_timer()
144 uint64_t cntpctl = read_cntp_ctl_el0(); in stop_generic_timer() local146 write_cntp_ctl_el0(clr_cntp_ctl_enable(cntpctl)); in stop_generic_timer()
Completed in 4 milliseconds