Lines Matching refs:mmio
162 xlr_reg_t *mmio = xlr_io_mmio(XLR_IO_PIC_OFFSET);
166 reg = xlr_read_reg(mmio, PIC_CTRL);
174 xlr_reg_t *mmio = xlr_io_mmio(XLR_IO_PIC_OFFSET);
177 xlr_write_reg(mmio, PIC_CTRL, control);
184 xlr_reg_t *mmio = xlr_io_mmio(XLR_IO_PIC_OFFSET);
187 xlr_write_reg(mmio, PIC_CTRL, (control | xlr_read_reg(mmio, PIC_CTRL)));
194 xlr_reg_t *mmio = xlr_io_mmio(XLR_IO_PIC_OFFSET);
196 xlr_write_reg(mmio, PIC_INT_ACK, 1U << picintr);
202 xlr_reg_t *mmio = xlr_io_mmio(XLR_IO_PIC_OFFSET);
207 xlr_write_reg(mmio, PIC_IPI, (pid << 20) | (tid << 16) | ipi);
213 xlr_reg_t *mmio = xlr_io_mmio(XLR_IO_PIC_OFFSET);
216 xlr_write_reg(mmio, PIC_IRT_0(picintr), cpumask);
217 xlr_write_reg(mmio, PIC_IRT_1(picintr), ((1U << 31) | (level << 30) |
225 xlr_reg_t *mmio = xlr_io_mmio(XLR_IO_PIC_OFFSET);
229 val = xlr_read_reg(mmio, PIC_CTRL);
231 xlr_write_reg(mmio, PIC_CTRL, val);
238 xlr_reg_t *mmio = xlr_io_mmio(XLR_IO_PIC_OFFSET);
240 xlr_write_reg(mmio, PIC_TIMER_MAXVAL_0(timer),
242 xlr_write_reg(mmio, PIC_TIMER_MAXVAL_1(timer),
249 xlr_reg_t *mmio = xlr_io_mmio(XLR_IO_PIC_OFFSET);
251 return (xlr_read_reg(mmio, PIC_TIMER_COUNT_0(timer)));
261 xlr_reg_t *mmio = xlr_io_mmio(XLR_IO_PIC_OFFSET);
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));