79 static inline unsigned int num_timers(XpsTimerState *t)  in num_timers()  argument
81     return 2 - t->one_timer_only;  in num_timers()
90 static void timer_update_irq(XpsTimerState *t)  in timer_update_irq()  argument
95     for (i = 0; i < num_timers(t); i++) {  in timer_update_irq()
96         csr = t->timers[i].regs[R_TCSR];  in timer_update_irq()
101     qemu_set_irq(t->irq, !!irq);  in timer_update_irq()
107     XpsTimerState *t = opaque;  in timer_read()  local
114     xt = &t->timers[timer];  in timer_read()
158     XpsTimerState *t = opaque;  in timer_write()  local
165     xt = &t->timers[timer];  in timer_write()
189     timer_update_irq(t);  in timer_write()
205     XpsTimerState *t = xt->parent;  in timer_hit()  local
211     timer_update_irq(t);  in timer_hit()
216     XpsTimerState *t = XILINX_TIMER(dev);  in xilinx_timer_realize()  local
220     t->timers = g_malloc0(sizeof t->timers[0] * num_timers(t));  in xilinx_timer_realize()
221     for (i = 0; i < num_timers(t); i++) {  in xilinx_timer_realize()
222         struct xlx_timer *xt = &t->timers[i];  in xilinx_timer_realize()
224         xt->parent = t;  in xilinx_timer_realize()
228         ptimer_set_freq(xt->ptimer, t->freq_hz);  in xilinx_timer_realize()
232     memory_region_init_io(&t->mmio, OBJECT(t), &timer_ops, t, "xlnx.xps-timer",  in xilinx_timer_realize()
233                           R_MAX * 4 * num_timers(t));  in xilinx_timer_realize()
234     sysbus_init_mmio(SYS_BUS_DEVICE(dev), &t->mmio);  in xilinx_timer_realize()
239     XpsTimerState *t = XILINX_TIMER(obj);  in xilinx_timer_init()  local
242     sysbus_init_irq(SYS_BUS_DEVICE(obj), &t->irq);  in xilinx_timer_init()