Symbol: ITS_CMD_MAPD
sys/arm64/arm64/gicv3_its.c
2098
case ITS_CMD_MAPD: /* Assign ITT to device */
sys/arm64/arm64/gicv3_its.c
2099
cmd_format_command(cmd, ITS_CMD_MAPD);
sys/arm64/arm64/gicv3_its.c
2263
desc.cmd_type = ITS_CMD_MAPD;