#include <linux/irqchip.h>
 #include <linux/irqchip/arm-gic-v3.h>
+#include <linux/irqchip/arm-gic-v4.h>
 
 #include <asm/cputype.h>
 #include <asm/exception.h>
        return 0;
 }
 
+static int its_irq_set_vcpu_affinity(struct irq_data *d, void *vcpu_info)
+{
+       struct its_device *its_dev = irq_data_get_irq_chip_data(d);
+       struct its_cmd_info *info = vcpu_info;
+
+       /* Need a v4 ITS */
+       if (!its_dev->its->is_v4 || !info)
+               return -EINVAL;
+
+       switch (info->cmd_type) {
+       case MAP_VLPI:
+
+       case GET_VLPI:
+
+       case PROP_UPDATE_VLPI:
+       case PROP_UPDATE_AND_INV_VLPI:
+
+       default:
+               return -EINVAL;
+       }
+}
+
 static struct irq_chip its_irq_chip = {
        .name                   = "ITS",
        .irq_mask               = its_mask_irq,
        .irq_set_affinity       = its_set_affinity,
        .irq_compose_msi_msg    = its_irq_compose_msi_msg,
        .irq_set_irqchip_state  = its_irq_set_irqchip_state,
+       .irq_set_vcpu_affinity  = its_irq_set_vcpu_affinity,
 };
 
 /*