1/** \file
2 * \brief Header for generic GDB stub code.
3 */
4
5/*
6 * Copyright (c) 2007, ETH Zurich.
7 * All rights reserved.
8 *
9 * This file is distributed under the terms in the attached LICENSE file.
10 * If you do not find this file, copies can be found by writing to:
11 * ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
12 */
13
14void gdb_handle_exception(int vector, uintptr_t *save_area)
15    __attribute__((noreturn));
16void gdb_stub_entry(int signal_code, char * OPT NTS init_message)
17    __attribute__((noreturn));
18
19int gdb_arch_get_register(int regnum, uintptr_t * NONNULL SAFE value);
20int gdb_arch_set_register(int regnum, uintptr_t value);
21int gdb_arch_write_byte(uint8_t * NONNULL SAFE addr, uint8_t val);
22int gdb_arch_read_byte(uint8_t * NONNULL SAFE addr, uint8_t * NONNULL SAFE val);
23void gdb_arch_single_step(lvaddr_t addr);
24void gdb_arch_continue(lvaddr_t addr);
25