@@ -1140,8 +1140,9 @@ static int vgic_its_cmd_handle_mapd(struct kvm *kvm, struct vgic_its *its,
u8 num_eventid_bits = its_cmd_get_size(its_cmd);
gpa_t itt_addr = its_cmd_get_ittaddr(its_cmd);
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)
@@ -1161,8 +1162,17 @@ static int vgic_its_cmd_handle_mapd(struct kvm *kvm, struct vgic_its *its,
* The spec does not say whether unmapping a not-mapped device
* is an error, so we are done in any case.
*/
- if (!valid)
+ if (!valid) {
+ struct kvm *kvm = its->dev->kvm;
+ int dte_esz = vgic_its_get_abi(its)->dte_esz;
+ u64 val = 0;
+
+ if (KVM_BUG_ON(dte_esz != sizeof(val), kvm))
+ return -EINVAL;
+
+ vgic_write_guest_lock(kvm, gpa, &val, dte_esz);
return 0;
+ }
device = vgic_its_alloc_device(its, device_id, itt_addr,
num_eventid_bits);