On 24/06/2020 18.54, Paolo Bonzini wrote:
Address 0 is also used for the SIPI vector (which is probably something worth changing as well), and now that we call setup_idt very early the SIPI vector overwrites the first few bytes of the IDT, and in particular the #DE handler. Fix this for both 32-bit and 64-bit, even though the different form of the descriptors meant that only 32-bit showed a failure. Reported-by: Thomas Huth <thuth@xxxxxxxxxx> Signed-off-by: Paolo Bonzini <pbonzini@xxxxxxxxxx> --- x86/cstart.S | 10 +++++++--- x86/cstart64.S | 11 ++++++++++- 2 files changed, 17 insertions(+), 4 deletions(-)
Thanks, this fixes the eventinj test for me! Tested-by: Thomas Huth <thuth@xxxxxxxxxx>
