GDB (API): /home/stan/gdb/src/gdb/linux-tdep.h Source File

Go to the documentation of this file.
00001 /* Target-dependent code for GNU/Linux, architecture independent.
00002 
00003    Copyright (C) 2009-2013 Free Software Foundation, Inc.
00004 
00005    This file is part of GDB.
00006 
00007    This program is free software; you can redistribute it and/or modify
00008    it under the terms of the GNU General Public License as published by
00009    the Free Software Foundation; either version 3 of the License, or
00010    (at your option) any later version.
00011 
00012    This program is distributed in the hope that it will be useful,
00013    but WITHOUT ANY WARRANTY; without even the implied warranty of
00014    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00015    GNU General Public License for more details.
00016 
00017    You should have received a copy of the GNU General Public License
00018    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
00019 
00020 #ifndef LINUX_TDEP_H
00021 #define LINUX_TDEP_H
00022 
00023 #include "bfd.h"
00024 
00025 struct regcache;
00026 
00027 typedef char *(*linux_collect_thread_registers_ftype) (const struct regcache *,
00028                                                        ptid_t,
00029                                                        bfd *, char *, int *,
00030                                                        enum gdb_signal);
00031 
00032 char *linux_make_corefile_notes (struct gdbarch *, bfd *, int *,
00033                                  linux_collect_thread_registers_ftype);
00034 
00035 struct type *linux_get_siginfo_type (struct gdbarch *);
00036 
00037 extern enum gdb_signal linux_gdb_signal_from_target (struct gdbarch *gdbarch,
00038                                                      int signal);
00039 
00040 extern int linux_gdb_signal_to_target (struct gdbarch *gdbarch,
00041                                        enum gdb_signal signal);
00042 
00043 extern void linux_init_abi (struct gdbarch_info info, struct gdbarch *gdbarch);
00044 
00045 extern int linux_is_uclinux (void);
00046 
00047 #endif /* linux-tdep.h */