Hi Eric, On Mon, Sep 25, 2017 at 03:34:36PM +0200, Eric Auger wrote: > When the GITS_BASER<n>.Valid gets cleared, the data structures in > guest RAM are not provisionned anymore. The device, collection > and LPI lists stored in the in-kernel ITS represent the same > information in some form of cache. So let's void the cache. Just a thought. What about the opposite case, if the BASERs were previously not valid, and then become valid, is the ITS expected restore the state from memory? Thanks, -Christoffer