Symbol: its_cmd_movi
sys/arm64/arm64/gicv3_its.c
1370
its_cmd_movi(dev, girq);
sys/arm64/arm64/gicv3_its.c
370
static void its_cmd_movi(device_t, struct gicv3_its_irqsrc *);