GITS_CMD_MOVI
case GITS_CMD_MOVI:
its_encode_cmd(cmd, GITS_CMD_MOVI);
#define GITS_CMD_VMOVI GITS_CMD_GICv4(GITS_CMD_MOVI)