1 /* Native-dependent code for NetBSD/sparc.
3 Copyright (C) 2002, 2003, 2004, 2007 Free Software Foundation, Inc.
5 This file is part of GDB.
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
24 #include "sparc-tdep.h"
25 #include "sparc-nat.h"
27 /* Support for debugging kernel virtual memory images. */
29 #include <sys/types.h>
30 #include <machine/pcb.h>
35 sparc32nbsd_supply_pcb (struct regcache
*regcache
, struct pcb
*pcb
)
37 /* The following is true for NetBSD 1.6.2:
39 The pcb contains %sp, %pc, %psr and %wim. From this information
40 we reconstruct the register state as it would look when we just
41 returned from cpu_switch(). */
43 /* The stack pointer shouldn't be zero. */
47 regcache_raw_supply (regcache
, SPARC_SP_REGNUM
, &pcb
->pcb_sp
);
48 regcache_raw_supply (regcache
, SPARC_O7_REGNUM
, &pcb
->pcb_pc
);
49 regcache_raw_supply (regcache
, SPARC32_PSR_REGNUM
, &pcb
->pcb_psr
);
50 regcache_raw_supply (regcache
, SPARC32_WIM_REGNUM
, &pcb
->pcb_wim
);
51 regcache_raw_supply (regcache
, SPARC32_PC_REGNUM
, &pcb
->pcb_pc
);
53 sparc_supply_rwindow (regcache
, pcb
->pcb_sp
, -1);
59 /* Provide a prototype to silence -Wmissing-prototypes. */
60 void _initialize_sparcnbsd_nat (void);
63 _initialize_sparcnbsd_nat (void)
65 sparc_gregset
= &sparc32nbsd_gregset
;
67 /* We've got nothing to add to the generic SPARC target. */
68 add_target (sparc_target ());
70 /* Support debugging kernel virtual memory images. */
71 bsd_kvm_add_target (sparc32nbsd_supply_pcb
);
This page took 0.030224 seconds and 4 git commands to generate.