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