gicv5_its_softc
struct gicv5_its_softc *sc;
struct gicv5_its_softc *sc;
struct gicv5_its_softc *sc;
struct gicv5_its_softc *sc;
sizeof(struct gicv5_its_softc), gicv5_its_driver);
struct gicv5_its_softc *sc;
static uint64_t *gicv5_its_dte_extend(struct gicv5_its_softc *,
sizeof(struct gicv5_its_softc));
its_write_cr0(struct gicv5_its_softc *sc, bool en)
its_wait_for_statusr(struct gicv5_its_softc *sc)
its_dcache_wbinv(struct gicv5_its_softc *sc, void *addr, size_t size)
its_device_itt_alloc_linear(struct gicv5_its_softc *sc,
its_device_dte_update(struct gicv5_its_softc *sc,
struct gicv5_its_softc *sc;
struct gicv5_its_softc *sc = arg;
struct gicv5_its_softc *sc;
gicv5_its_dte_alloc(struct gicv5_its_softc *sc, size_t size)
gicv5_its_dte_alloc_linear(struct gicv5_its_softc *sc, uint32_t *cfgrp,
gicv5_its_dte_alloc_2level(struct gicv5_its_softc *sc, uint32_t *cfgrp,
gicv5_its_dte_extend(struct gicv5_its_softc *sc,
struct gicv5_its_softc *sc;
gicv5_its_alloc_irqsrc(device_t dev, struct gicv5_its_softc *sc,
gicv5_its_release_irqsrc(struct gicv5_its_softc *sc,
gicv5_its_update_itt(struct gicv5_its_softc *sc, struct its_dev *its_dev,
struct gicv5_its_softc *sc;