4 * Copyright (c) 2022 Linaro Ltd
6 * SPDX-License-Identifier: GPL-2.0-or-later
12 bool gdb_supports_guest_debug(void);
13 int gdb_breakpoint_insert(CPUState
*cs
, int type
, hwaddr addr
, hwaddr len
);
14 int gdb_breakpoint_remove(CPUState
*cs
, int type
, hwaddr addr
, hwaddr len
);
15 void gdb_breakpoint_remove_all(CPUState
*cs
);
17 #endif /* _INTERNALS_H_ */