__arch_counter_get_cntvct
static inline u64 __arch_counter_get_cntvct(void)
static __always_inline u64 __arch_counter_get_cntvct(void)