1/* 2 * Copyright (c) 2016 ETH Zurich. 3 * All rights reserved. 4 * 5 * This file is distributed under the terms in the attached LICENSE file. 6 * If you do not find this file, copies can be found by writing to: 7 * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group. 8 */ 9 10#include <kernel.h> 11#include <stdbool.h> 12#include <init.h> 13 14extern void dbg_break(void); 15 16extern void gdb_arch_continue(void); 17void gdb_arch_continue(void) { dbg_break(); } 18 19extern void gdb_arch_get_register(void); 20void gdb_arch_get_register(void) { dbg_break(); } 21 22extern void gdb_arch_read_byte(void); 23void gdb_arch_read_byte(void) { dbg_break(); } 24 25extern void gdb_arch_registers(void); 26void gdb_arch_registers(void) { dbg_break(); } 27 28extern void gdb_arch_set_register(void); 29void gdb_arch_set_register(void) { dbg_break(); } 30 31extern void gdb_arch_single_step(void); 32void gdb_arch_single_step(void) { dbg_break(); } 33 34extern void gdb_arch_write_byte(void); 35void gdb_arch_write_byte(void) { dbg_break(); } 36 37extern void reboot(void); 38void reboot(void) { dbg_break(); } 39 40struct dcb; 41extern void __attribute__ ((noreturn)) vmkit_vmenter (struct dcb *dcb); 42void vmkit_vmenter(struct dcb *dcb) { dbg_break(); for(;;); } 43 44extern void __aeabi_unwind_cpp_pr0(void); 45void __aeabi_unwind_cpp_pr0(void) { dbg_break(); } 46 47extern void raise(void); 48void raise(void) { dbg_break(); } 49 50void breakpoint(void) { dbg_break(); } 51