if (irqd_is_forwarded_to_vcpu(d)) {
                struct its_device *its_dev = irq_data_get_irq_chip_data(d);
                u32 event = its_get_event_id(d);
+               struct its_vlpi_map *map;
 
                prop_page = its_dev->event_map.vm->vprop_page;
-               hwirq = its_dev->event_map.vlpi_maps[event].vintid;
+               map = &its_dev->event_map.vlpi_maps[event];
+               hwirq = map->vintid;
+
+               /* Remember the updated property */
+               map->properties &= ~clr;
+               map->properties |= set | LPI_PROP_GROUP1;
        } else {
                prop_page = gic_rdists->prop_page;
                hwirq = d->hwirq;
                /* Ensure all the VPEs are mapped on this ITS */
                its_map_vm(its_dev->its, info->map->vm);
 
+               /*
+                * Flag the interrupt as forwarded so that we can
+                * start poking the virtual property table.
+                */
+               irqd_set_forwarded_to_vcpu(d);
+
+               /* Write out the property to the prop table */
+               lpi_write_config(d, 0xff, info->map->properties);
+
                /* Drop the physical mapping */
                its_send_discard(its_dev, event);
 
                /* and install the virtual one */
                its_send_vmapti(its_dev, event);
-               irqd_set_forwarded_to_vcpu(d);
 
                /* Increment the number of VLPIs */
                its_dev->event_map.nr_vlpis++;
 
  * @vm:                Pointer to the GICv4 notion of a VM
  * @vpe:       Pointer to the GICv4 notion of a virtual CPU (VPE)
  * @vintid:    Virtual LPI number
+ * @properties:        Priority and enable bits (as written in the prop table)
  * @db_enabled:        Is the VPE doorbell to be generated?
  */
 struct its_vlpi_map {
        struct its_vm           *vm;
        struct its_vpe          *vpe;
        u32                     vintid;
+       u8                      properties;
        bool                    db_enabled;
 };