GITS_CMD_MAPTI
if (its_cmd_get_command(its_cmd) == GITS_CMD_MAPTI)
case GITS_CMD_MAPTI:
its_encode_cmd(cmd, GITS_CMD_MAPTI);
#define GITS_CMD_VMAPTI GITS_CMD_GICv4(GITS_CMD_MAPTI)
#define GITS_CMD_VMAPTI GITS_CMD_GICv4(GITS_CMD_MAPTI)
its_encode_cmd(&cmd, GITS_CMD_MAPTI);