1 /* Native-dependent code for OpenBSD/amd64.
3 Copyright (C) 2003-2017 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/>. */
25 #include "amd64-tdep.h"
26 #include "amd64-nat.h"
29 /* Mapping between the general-purpose registers in OpenBSD/amd64
30 `struct reg' format and GDB's register cache layout for
33 Note that most (if not all) OpenBSD/amd64 registers are 64-bit,
34 while the OpenBSD/i386 registers are all 32-bit, but since we're
35 little-endian we get away with that. */
37 /* From <machine/reg.h>. */
38 static int amd64obsd32_r_reg_offset[] =
59 /* Support for debugging kernel virtual memory images. */
61 #include <sys/types.h>
62 #include <machine/frame.h>
63 #include <machine/pcb.h>
68 amd64obsd_supply_pcb (struct regcache *regcache, struct pcb *pcb)
70 struct switchframe sf;
73 /* The following is true for OpenBSD 3.5:
75 The pcb contains the stack pointer at the point of the context
76 switch in cpu_switch(). At that point we have a stack frame as
77 described by `struct switchframe', which for OpenBSD 3.5 has the
89 Together with %rsp in the pcb, this accounts for all callee-saved
90 registers specified by the psABI. From this information we
91 reconstruct the register state as it would look when we just
92 returned from cpu_switch().
94 For core dumps the pcb is saved by savectx(). In that case the
95 stack frame only contains the return address, and there is no way
96 to recover the other registers. */
98 /* The stack pointer shouldn't be zero. */
99 if (pcb->pcb_rsp == 0)
102 /* Read the stack frame, and check its validity. */
103 read_memory (pcb->pcb_rsp, (gdb_byte *) &sf, sizeof sf);
104 if (sf.sf_rbp == pcb->pcb_rbp)
106 /* Yes, we have a frame that matches cpu_switch(). */
107 pcb->pcb_rsp += sizeof (struct switchframe);
108 regcache_raw_supply (regcache, 12, &sf.sf_r12);
109 regcache_raw_supply (regcache, 13, &sf.sf_r13);
110 regcache_raw_supply (regcache, 14, &sf.sf_r14);
111 regcache_raw_supply (regcache, 15, &sf.sf_r15);
112 regcache_raw_supply (regcache, AMD64_RBX_REGNUM, &sf.sf_rbx);
113 regcache_raw_supply (regcache, AMD64_RIP_REGNUM, &sf.sf_rip);
117 /* No, the pcb must have been last updated by savectx(). */
119 regcache_raw_supply (regcache, AMD64_RIP_REGNUM, &sf);
122 regcache_raw_supply (regcache, AMD64_RSP_REGNUM, &pcb->pcb_rsp);
123 regcache_raw_supply (regcache, AMD64_RBP_REGNUM, &pcb->pcb_rbp);
129 _initialize_amd64obsd_nat (void)
131 amd64_native_gregset32_reg_offset = amd64obsd32_r_reg_offset;
132 amd64_native_gregset32_num_regs = ARRAY_SIZE (amd64obsd32_r_reg_offset);
133 amd64_native_gregset64_reg_offset = amd64obsd_r_reg_offset;
135 /* Add some extra features to the common *BSD/amd64 target. */
136 obsd_add_target (amd64bsd_target ());
138 /* Support debugging kernel virtual memory images. */
139 bsd_kvm_add_target (amd64obsd_supply_pcb);