home *** CD-ROM | disk | FTP | other *** search
- /* Native support for a Bull DPX2.
- Copyright (C) 1986, 1987, 1989 Free Software Foundation, Inc.
-
- This file is part of GDB.
-
- This program is free software; you can redistribute it and/or modify
- it under the terms of the GNU General Public License as published by
- the Free Software Foundation; either version 2 of the License, or
- (at your option) any later version.
-
- This program is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- GNU General Public License for more details.
-
- You should have received a copy of the GNU General Public License
- along with this program; if not, write to the Free Software
- Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
-
- /* KERNEL_U_ADDR is determined upon startup in dpx2-xdep.c. */
-
- #define REGISTER_U_ADDR(addr, blockend, regno) \
- (addr) = dpx2_register_u_addr ((blockend),(regno));
-
- extern int
- dpx2_register_u_addr PARAMS ((int, int));
-
- /* Kernel is a bit tenacious about sharing text segments, disallowing bpts. */
- #define ONE_PROCESS_WRITETEXT
-