Searched refs:cntpctl (Results 1 – 1 of 1) 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()