Searched refs:cntvctl (Results 1 – 1 of 1) sorted by relevance
2095 …uint64_t cntvctl = CNTV_CTL_EL0_ENABLE; /* One wants to use 32 bits, but "mrs" prefers it this way… in _enable_virtual_timer() local2097 __builtin_arm_wsr64("CNTV_CTL_EL0", cntvctl); in _enable_virtual_timer()