Hi Paolo, On Tue, Nov 17, 2020 at 7:06 PM Paolo Bonzini <pbonz...@redhat.com> wrote: > > On 17/11/20 11:08, Bin Meng wrote: > >> I see. Is there any chance you could write a testcase for > >> kvm-unit-tests? Or just explain how to write such a test, and then I > >> can write it myself; it's not clear to me how the guest can observe the > >> base and limit of a non-present segment. > > > > I am not familiar with kvm-unit-test. The original issue cannot be > > reproduced with a KVM enabled QEMU as the codes-in-flaw is in the > > emulation path. > > kvm-unit-tests, despite the name, is a set generic tests for CPU > behavior; it works with other accelerators that QEMU supports including > the emulation path. You can find it at > https://gitlab.com/kvm-unit-tests/kvm-unit-tests.
I see. Thanks for the info. > If you explain in enough detail how VxWorks triggers the bug, I can take > care of writing the test. I will try to create a test case using the kvm-unit-tests framework. Regards, Bin