Searched refs:arm_timer_read (Results 1 – 1 of 1) sorted by relevance
53 static uint32_t arm_timer_read(void *opaque, hwaddr offset) in arm_timer_read() function229 return arm_timer_read(s->timer[0], offset); in sp804_read()232 return arm_timer_read(s->timer[1], offset - 0x20); in sp804_read()337 return arm_timer_read(s->timer[n], offset & 0xff); in icp_pit_read()