4 * Copyright (c) 2022 Linaro Ltd
6 * SPDX-License-Identifier: GPL-2.0-or-later
12 #include "exec/cpu-common.h"
14 bool gdb_supports_guest_debug(void);
15 int gdb_breakpoint_insert(CPUState
*cs
, int type
, vaddr addr
, vaddr len
);
16 int gdb_breakpoint_remove(CPUState
*cs
, int type
, vaddr addr
, vaddr len
);
17 void gdb_breakpoint_remove_all(CPUState
*cs
);
19 #endif /* _INTERNALS_H_ */