That changeset moved the watchdog functions from nmi.h to their own
watchdog.h. I thought I had updated all relevant header files and the
compiler was happy as well. However, gdbstub is not even compiled by default,
and I accidentally missed it.
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
#include <xen/spinlock.h>
#include <xen/serial.h>
#include <xen/irq.h>
-#include <xen/nmi.h>
+#include <xen/watchdog.h>
#include <asm/debugger.h>
#include <xen/init.h>
#include <xen/smp.h>