On Fri, Apr 14, 2017 at 3:45 PM, Eric Auger <eric.auger@xxxxxxxxxx> 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@xxxxxxxxxx> Tested-by: Prakash, Brahmajyosyula <Brahmajyosyula.Prakash@xxxxxxxxxx>
