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.)
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