gicv3_its_device
its->its_lpitodev = kmem_alloc(sizeof(struct gicv3_its_device *) * its->its_pic->pic_maxsources, KM_SLEEP);
gicv3_its_alloc_eventid(struct gicv3_its_device *dev, unsigned count)
gicv3_its_free_eventid(struct gicv3_its_device *dev, uint32_t eventid)
static struct gicv3_its_device *
struct gicv3_its_device *dev;
struct gicv3_its_device *dev;
struct gicv3_its_device *dev;
struct gicv3_its_device *dev =
LIST_HEAD(, gicv3_its_device) its_devices;
struct gicv3_its_device **its_lpitodev;
LIST_ENTRY(gicv3_its_device) dev_list;