1 /* Native-dependent code for NetBSD/sparc.
3 Copyright (C) 2002-2014 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_gregmap = &sparc32nbsd_gregmap;
66 sparc_fpregmap = &sparc32_bsd_fpregmap;
68 /* We've got nothing to add to the generic SPARC target. */
69 add_target (sparc_target ());
71 /* Support debugging kernel virtual memory images. */
72 bsd_kvm_add_target (sparc32nbsd_supply_pcb);