1 /* Branch trace support for GDB, the GNU debugger. 2 3 Copyright (C) 2016 Free Software Foundation, Inc. 4 5 Contributed by Intel Corp. <tim.wiederhake@intel.com> 6 7 This file is part of GDB. 8 9 This program is free software; you can redistribute it and/or modify 10 it under the terms of the GNU General Public License as published by 11 the Free Software Foundation; either version 3 of the License, or 12 (at your option) any later version. 13 14 This program is distributed in the hope that it will be useful, 15 but WITHOUT ANY WARRANTY; without even the implied warranty of 16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 17 GNU General Public License for more details. 18 19 You should have received a copy of the GNU General Public License 20 along with this program. If not, see <http://www.gnu.org/licenses/>. */ 21 22 #ifndef RECORD_BTRACE_H 23 #define RECORD_BTRACE_H 24 25 /* Push the record_btrace target. */ 26 extern void record_btrace_push_target (void); 27 28 #endif /* RECORD_BTRACE_H */ 29