mm: don't use domain_shutdown() when re-offlining a page
authorJan Beulich <jbeulich@suse.com>
Thu, 7 Dec 2017 10:09:31 +0000 (11:09 +0100)
committerJan Beulich <jbeulich@suse.com>
Thu, 7 Dec 2017 10:09:31 +0000 (11:09 +0100)
commit9d0ded563a31b176bd8fd636c150426f0184b1bc
tree0a949d3753fb360b4bdca106898ccacaf92867cf
parent0def739d77c14b570cf30b6156afea0f5929b038
mm: don't use domain_shutdown() when re-offlining a page

It goes all silent, leaving open what has actually caused the crash.
Use domain_crash() instead, which leaves a log message before calling
domain_shutdown(..., SHUTDOWN_crash).

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/common/page_alloc.c