Searched refs:gic_read_count (Results 1 – 4 of 4) sorted by relevance
27 cnt = gic_read_count(); in gic_next_event()30 res = ((int)(gic_read_count() - cnt) >= 0) ? -ETIME : 0; in gic_next_event()
15 return gic_read_count(); in gic_hpt_read()
48 cycle_t gic_read_count(void) in gic_read_count() function
368 extern cycle_t gic_read_count(void);