Searched refs:read_r4k_count (Results 1 – 1 of 1) sorted by relevance
152 static __always_inline u64 read_r4k_count(void) in read_r4k_count() function191 return read_r4k_count(); in __arch_get_hw_counter()