| 233 | } |
| 234 | |
| 235 | void |
| 236 | gic_r_write_8(device_t dev, bus_size_t offset, uint64_t val) |
| 237 | { |
| 238 | struct gic_v3_softc *sc; |
| 239 | struct resource *rdist; |
| 240 | |
| 241 | sc = device_get_softc(dev); |
| 242 | rdist = &sc->gic_redists.pcpu[PCPU_GET(cpuid)]->res; |
| 243 | bus_write_8(rdist, offset, val); |
| 244 | } |
| 245 | |
| 246 | /* |
| 247 | * Device interface. |
no test coverage detected