Hello Paolo,

On 16.02.2017 12:53, Paolo Bonzini wrote:
> As you noticed, the problem is that now cpu_vmexit is called without a
> cpu_restore_state before.
> The right fix is to pass the retaddr to cpu_vmexit (via
> cpu_svm_check_intercept_param); something like this untested patch:


> If it works for you we can include it.

thank you for the quick patch. It works like a charm.

Do you take care of adding the patch, please ? (I can of course also do.)

Thanks again,


Alexander Boettcher
Genode Labs

http://www.genode-labs.com - http://www.genode.org

Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

Reply via email to