its_cmd_inv
its_cmd_inv(dev, girq->gi_its_dev, girq);
static void its_cmd_inv(device_t, struct its_dev *, struct gicv3_its_irqsrc *);