1 /* SPDX-License-Identifier: GPL-2.0-only */
2 #ifndef __X86_GDBX_H__
3 #define __X86_GDBX_H__
4 
5 #include <xen/stdbool.h>
6 
7 struct domain;
8 struct xen_domctl;
9 
10 #ifdef CONFIG_GDBSX
11 
12 void domain_pause_for_debugger(void);
13 
14 int gdbsx_domctl(struct domain *d, struct xen_domctl *domctl, bool *copyback);
15 
16 #else
17 
18 #include <xen/errno.h>
19 
domain_pause_for_debugger(void)20 static inline void domain_pause_for_debugger(void) {}
21 
gdbsx_domctl(struct domain * d,struct xen_domctl * domctl,bool * copyback)22 static inline int gdbsx_domctl(
23     struct domain *d, struct xen_domctl *domctl, bool *copyback)
24 {
25     return -ENOSYS;
26 }
27 
28 #endif /* CONFIG_GDBSX */
29 #endif /* __X86_GDBX_H__ */
30