bool valid = its_cmd_get_validbit(its_cmd);
        u8 num_eventid_bits = its_cmd_get_size(its_cmd);
        gpa_t itt_addr = its_cmd_get_ittaddr(its_cmd);
+       int dte_esz = vgic_its_get_abi(its)->dte_esz;
        struct its_device *device;
+       gpa_t gpa;
 
-       if (!vgic_its_check_id(its, its->baser_device_table, device_id, NULL))
+       if (!vgic_its_check_id(its, its->baser_device_table, device_id, &gpa))
                return E_ITS_MAPD_DEVICE_OOR;
 
        if (valid && num_eventid_bits > VITS_TYPER_IDBITS)
         * is an error, so we are done in any case.
         */
        if (!valid)
-               return 0;
+               return vgic_its_write_entry_lock(its, gpa, 0, dte_esz);
 
        device = vgic_its_alloc_device(its, device_id, itt_addr,
                                       num_eventid_bits);