| 1567 | } |
| 1568 | |
| 1569 | static inline void |
| 1570 | its_cmd_sync(struct gicv3_its_softc *sc, struct its_cmd *cmd) |
| 1571 | { |
| 1572 | |
| 1573 | if ((sc->sc_its_flags & ITS_FLAGS_CMDQ_FLUSH) != 0) { |
| 1574 | /* Clean D-cache under command. */ |
| 1575 | cpu_dcache_wb_range((vm_offset_t)cmd, sizeof(*cmd)); |
| 1576 | } else { |
| 1577 | /* DSB inner shareable, store */ |
| 1578 | dsb(ishst); |
| 1579 | } |
| 1580 | |
| 1581 | } |
| 1582 | |
| 1583 | static inline uint64_t |
| 1584 | its_cmd_cwriter_offset(struct gicv3_its_softc *sc, struct its_cmd *cmd) |