On Wed, Dec 04, 2019 at 11:14:19AM +0100, Paolo Bonzini wrote: > On 03/12/19 20:13, Sean Christopherson wrote: > > The setting of as_id is wrong, both with and without a vCPU. as_id should > > come from slot->as_id. > > Which doesn't exist, but is an excellent suggestion nevertheless. Huh, I explicitly looked at the code to make sure as_id existed before making this suggestion. No idea what code I actually pulled up.
