| 1859 | } |
| 1860 | |
| 1861 | static void |
| 1862 | its_cmd_inv(device_t dev, struct its_dev *its_dev, |
| 1863 | struct gicv3_its_irqsrc *girq) |
| 1864 | { |
| 1865 | struct gicv3_its_softc *sc; |
| 1866 | struct its_cmd_desc desc; |
| 1867 | struct its_col *col; |
| 1868 | |
| 1869 | sc = device_get_softc(dev); |
| 1870 | col = sc->sc_its_cols[CPU_FFS(&girq->gi_isrc.isrc_cpu) - 1]; |
| 1871 | |
| 1872 | desc.cmd_type = ITS_CMD_INV; |
| 1873 | /* The EventID sent to the device */ |
| 1874 | desc.cmd_desc_inv.pid = girq->gi_id; |
| 1875 | desc.cmd_desc_inv.its_dev = its_dev; |
| 1876 | desc.cmd_desc_inv.col = col; |
| 1877 | |
| 1878 | its_cmd_send(dev, &desc); |
| 1879 | } |
| 1880 | |
| 1881 | static void |
| 1882 | its_cmd_invall(device_t dev, struct its_col *col) |
no test coverage detected