Lines Matching refs:timer
223 pic_init_timer(int timer)
230 val |= (1 << (8 + timer));
236 pic_set_timer(int timer, uint64_t maxval)
240 xlr_write_reg(mmio, PIC_TIMER_MAXVAL_0(timer),
242 xlr_write_reg(mmio, PIC_TIMER_MAXVAL_1(timer),
247 pic_timer_count32(int timer)
251 return (xlr_read_reg(mmio, PIC_TIMER_COUNT_0(timer)));
255 * The timer can wrap 32 bits between the two reads, so we
259 pic_timer_count(int timer)
264 tu1 = xlr_read_reg(mmio, PIC_TIMER_COUNT_1(timer));
265 tl = xlr_read_reg(mmio, PIC_TIMER_COUNT_0(timer));
266 tu2 = xlr_read_reg(mmio, PIC_TIMER_COUNT_1(timer));
268 tl = xlr_read_reg(mmio, PIC_TIMER_COUNT_0(timer));