[PATCH v5 20/22] KVM: arm64: vgic-its: Device table save/restore

[Prakash B]

On Fri, Apr 14, 2017 at 3:45 PM, Eric Auger <eric.auger at redhat.com> wrote:
> This patch saves the device table entries into guest RAM.
> Both flat table and 2 stage tables are supported. DeviceId
> indexing is used.
>
> For each device listed in the device table, we also save
> the translation table using the vgic_its_save/restore_itt
> routines.
>
> On restore, devices are re-allocated and their ite are
> re-built.
>
> Signed-off-by: Eric Auger <eric.auger at redhat.com>
Tested-by: Prakash, Brahmajyosyula <Brahmajyosyula.Prakash at cavium.com>