Symbol: ITS_CMD_INVALL
sys/arm64/arm64/gicv3_its.c
2145
case ITS_CMD_INVALL:
sys/arm64/arm64/gicv3_its.c
2146
cmd_format_command(cmd, ITS_CMD_INVALL);
sys/arm64/arm64/gicv3_its.c
2295
desc.cmd_type = ITS_CMD_INVALL;