| 211 | } |
| 212 | |
| 213 | uint64_t |
| 214 | gic_r_read_8(device_t dev, bus_size_t offset) |
| 215 | { |
| 216 | struct gic_v3_softc *sc; |
| 217 | struct resource *rdist; |
| 218 | |
| 219 | sc = device_get_softc(dev); |
| 220 | rdist = &sc->gic_redists.pcpu[PCPU_GET(cpuid)]->res; |
| 221 | return (bus_read_8(rdist, offset)); |
| 222 | } |
| 223 | |
| 224 | void |
| 225 | gic_r_write_4(device_t dev, bus_size_t offset, uint32_t val) |
no test coverage detected