x86: adjust place of an ASSERT to avoid crash when destroy a domain.
authorYi Sun <yi.y.sun@linux.intel.com>
Mon, 7 Aug 2017 01:50:49 +0000 (09:50 +0800)
committerWei Liu <wei.liu2@citrix.com>
Mon, 7 Aug 2017 10:46:59 +0000 (11:46 +0100)
commitdd050808ccc23f0a11d5596409f4245b9406a242
treea1de74281c2bd958201025907c84dbdc74b288d2
parent1728e24f46a6135a643018eb4dc76f0033797e2b
x86: adjust place of an ASSERT to avoid crash when destroy a domain.

In 'psr_free_cos', we should not use 'ASSERT(socket_info)' at the beginning
because the 'socket_info' is allocated only if 'psr' boot parameter is set.
So adjust its place to avoid crash.

Signed-off-by: Yi Sun <yi.y.sun@linux.intel.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/psr.c