Symbol: ITS_CMD_MAPI
sys/arm64/arm64/gicv3_its.c
2132
case ITS_CMD_MAPI:
sys/arm64/arm64/gicv3_its.c
2134
cmd_format_command(cmd, ITS_CMD_MAPI);