}
__initcall(init_vcpu_kick_softirq);
-void domain_pause_for_debugger(void)
-{
-#ifdef CONFIG_CRASH_DEBUG
- struct vcpu *curr = current;
- struct domain *d = curr->domain;
-
- domain_pause_by_systemcontroller_nosync(d);
-
- /* if gdbsx active, we just need to pause the domain */
- if ( curr->arch.gdbsx_vcpu_event == 0 )
- send_global_virq(VIRQ_DEBUGGER);
-#endif
-}
-
/*
* Local variables:
* mode: C
#include <xen/mm.h>
#include <xen/domain_page.h>
#include <xen/guest_access.h>
+#include <xen/event.h>
+
#include <asm/gdbsx.h>
#include <asm/p2m.h>
return iop->remain ? -EFAULT : 0;
}
+void domain_pause_for_debugger(void)
+{
+ struct vcpu *curr = current;
+ struct domain *d = curr->domain;
+
+ domain_pause_by_systemcontroller_nosync(d);
+
+ /* if gdbsx active, we just need to pause the domain */
+ if ( curr->arch.gdbsx_vcpu_event == 0 )
+ send_global_virq(VIRQ_DEBUGGER);
+}
+
/*
* Local variables:
* mode: C
#include <asm/hvm/trace.h>
#include <asm/hap.h>
#include <asm/apic.h>
-#include <asm/debugger.h>
+#include <asm/gdbsx.h>
#include <asm/hvm/monitor.h>
#include <asm/monitor.h>
#include <asm/xstate.h>
#include <xen/sched.h>
#include <xen/paging.h>
#include <xen/softirq.h>
-#include <asm/debugger.h>
+
+#include <asm/gdbsx.h>
#include <asm/event.h>
#include <asm/hvm/emulate.h>
#include <asm/hvm/hvm.h>
#include <asm/hvm/trace.h>
#include <asm/hvm/monitor.h>
#include <asm/xenoprof.h>
-#include <asm/debugger.h>
+#include <asm/gdbsx.h>
#include <asm/apic.h>
#include <asm/hvm/nestedhvm.h>
#include <asm/altp2m.h>
#include <asm/regs.h>
#include <asm/processor.h>
-void domain_pause_for_debugger(void);
-
#ifdef CONFIG_CRASH_DEBUG
#include <xen/gdbstub.h>
int gdbsx_guest_mem_io(struct domain *d, struct xen_domctl_gdbsx_memio *iop);
+void domain_pause_for_debugger(void);
+
+#else
+
+static inline void domain_pause_for_debugger(void) {}
+
#endif /* CONFIG_GDBSX */
#endif /* __X86_GDBX_H__ */
#include <asm/msr.h>
#include <asm/mpspec.h>
#include <asm/nmi.h>
-#include <asm/debugger.h>
#include <asm/div64.h>
#include <asm/apic.h>
#include <xen/bitops.h>
#include <asm/desc.h>
#include <asm/debugreg.h>
+#include <asm/gdbsx.h>
#include <asm/smp.h>
#include <asm/flushtlb.h>
#include <asm/uaccess.h>