Searched refs:read_gic_count (Results 1 – 1 of 1) sorted by relevance
170 static __always_inline u64 read_gic_count(const struct vdso_data *data) in read_gic_count() function195 return read_gic_count(vd); in __arch_get_hw_counter()