1 /* BSD user-level threads support. 2 3 Copyright (C) 2005, 2007, 2008, 2009, 2010, 2011 4 Free Software Foundation, Inc. 5 6 This file is part of GDB. 7 8 This program is free software; you can redistribute it and/or modify 9 it under the terms of the GNU General Public License as published by 10 the Free Software Foundation; either version 3 of the License, or 11 (at your option) any later version. 12 13 This program is distributed in the hope that it will be useful, 14 but WITHOUT ANY WARRANTY; without even the implied warranty of 15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 16 GNU General Public License for more details. 17 18 You should have received a copy of the GNU General Public License 19 along with this program. If not, see <http://www.gnu.org/licenses/>. */ 20 21 #ifndef BSD_UTHREAD_H 22 #define BSD_UTHREAD_H 1 23 24 /* Set the function that supplies registers for an inactive thread for 25 architecture GDBARCH to SUPPLY_UTHREAD. */ 26 27 extern void bsd_uthread_set_supply_uthread (struct gdbarch *gdbarch, 28 void (*supply_uthread) (struct regcache *, 29 int, CORE_ADDR)); 30 31 32 /* Set the function that collects registers for an inactive thread for 33 architecture GDBARCH to SUPPLY_UTHREAD. */ 34 35 extern void bsd_uthread_set_collect_uthread (struct gdbarch *gdbarch, 36 void (*collect_uthread) (const struct regcache *, 37 int, CORE_ADDR)); 38 39 #endif /* bsd-uthread.h */ 40