GDB (API): /home/stan/gdb/src/gdb/bsd-uthread.h Source File

Go to the documentation of this file.
00001 /* BSD user-level threads support.
00002 
00003    Copyright (C) 2005-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 BSD_UTHREAD_H
00021 #define BSD_UTHREAD_H 1
00022 
00023 /* Set the function that supplies registers for an inactive thread for
00024    architecture GDBARCH to SUPPLY_UTHREAD.  */
00025 
00026 extern void bsd_uthread_set_supply_uthread (struct gdbarch *gdbarch,
00027                                     void (*supply_uthread) (struct regcache *,
00028                                                             int, CORE_ADDR));
00029 
00030 
00031 /* Set the function that collects registers for an inactive thread for
00032    architecture GDBARCH to SUPPLY_UTHREAD.  */
00033 
00034 extern void bsd_uthread_set_collect_uthread (struct gdbarch *gdbarch,
00035                              void (*collect_uthread) (const struct regcache *,
00036                                                       int, CORE_ADDR));
00037 
00038 #endif /* bsd-uthread.h */