>> As mentioned in the other mail, e.g. vector register validity should >> only be set if vector registers are enabled for the nested guest >> (execution control enabled). > > Yes, but sInce we inject in the base guest (non-nested) we have to check the base guest > execution control. > Right, confusion due to nesting levels strikes again :) -- Thanks, David
