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_ */