[PATCH] KVM: arm64: vgic-its: clear dte when mapd unmaps a device

[Marc Zyngier]

On Thu, 20 Jun 2024 14:32:20 +0100,
Kunkun Jiang <jiangkunkun at huawei.com> wrote:
> 
> Hi Eric,
> 
> On 2024/6/19 1:18, Eric Auger wrote:
> >> Also, is the device table the only one that is subject to this
> >> 'reload' problem? How about the Collection table?
> > The collection table is not indexed by the collection ID and when saving
> > we end up writing an invalid dummy entry to close the recording. So I
> > don't think we have the same problem there.
> I'm a little confused here. In the current Linux, there is no implementation
> of mapc unmaps a cte. But should this scenario be considered in
> vgic-its?

We implement the "HW", not what Linux does.

	M.

-- 
Without deviation from the norm, progress is not possible.