>>> On 10.04.17 at 15:27, wrote:
> @@ -498,8 +503,8 @@ void vcpu_destroy(struct vcpu *v)
> if ( is_hvm_vcpu(v) )
> hvm_vcpu_destroy(v);
> else
> -xfree(v->arch.pv_vcpu.trap_ctxt);
> -}
> +pv_vcpu_destroy(v);
> + }
Stray leading blank. Other than that
Reviewed-by
No functional change.
Signed-off-by: Wei Liu
---
xen/arch/x86/domain.c | 17 +++--
1 file changed, 11 insertions(+), 6 deletions(-)
diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c
index 96c777c771..ddebff6187 100644
--- a/xen/arch/x86/domain.c
+++ b/xen/arch/x86/domain.c
