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