On 2013-03-14 20:39, Jan Kiszka wrote:
> vmx_vcpu_reset may now be called while already holding the srcu lock, so
> we may overwrite what was already saved there. Save and restore it.
>
> Signed-off-by: Jan Kiszka
> ---
>
> Even if this should be unneeded, it looks more consistent. In any case,
vmx_vcpu_reset may now be called while already holding the srcu lock, so
we may overwrite what was already saved there. Save and restore it.
Signed-off-by: Jan Kiszka
---
Even if this should be unneeded, it looks more consistent. In any case,
all versions on the table, pick what you prefer.
ar
