{
        u32 db;
 
-       if (desc->its_vmapti_cmd.db_enabled)
+       if (!is_v4_1(its) && desc->its_vmapti_cmd.db_enabled)
                db = desc->its_vmapti_cmd.vpe->vpe_db_lpi;
        else
                db = 1023;
 {
        u32 db;
 
-       if (desc->its_vmovi_cmd.db_enabled)
+       if (!is_v4_1(its) && desc->its_vmovi_cmd.db_enabled)
                db = desc->its_vmovi_cmd.vpe->vpe_db_lpi;
        else
                db = 1023;
        u32 event = its_get_event_id(d);
        struct its_vlpi_map *map;
 
+       /*
+        * GICv4.1 does away with the per-LPI nonsense, nothing to do
+        * here.
+        */
+       if (is_v4_1(its_dev->its))
+               return;
+
        map = dev_event_to_vlpi_map(its_dev, event);
 
        if (map->db_enabled == enable)