On 20.04.2022 16:13, Andrew Cooper wrote: > domain_pause_for_debugger() is guest debugging (CONFIG_GDBSX) not host > debugging (CONFIG_CRASH_DEBUG). > > Move it into the new gdbsx.c to drop the (incorrect) ifdefary, and provide a > static inline in the !CONFIG_GDBSX case so callers can optimise away > everything rather than having to emit a call to an empty function. > > Signed-off-by: Andrew Cooper <andrew.coop...@citrix.com>
Reviewed-by: Jan Beulich <jbeul...@suse.com>
