> On Jul 10, 2020, at 1:45 PM, Paolo Bonzini <pbonzini@xxxxxxxxxx> wrote: > > On 10/07/20 20:33, Nadav Amit wrote: >> DR4/DR5 can only be written when CR4.DE is clear, and otherwise trigger >> a #GP exception. The BIOS might not clear CR4.DE so update the tests not >> to make this assumption. >> >> > > I think we should just start with a clean slate and clear CR4 in cstart*.S: Your change seems fine. If you can push it (with the rest of the recent svm changes), I would prefer to run it, before I need to return my AMD machine.