+/* From /usr/src/lib/libc/amd64/gen/_setjmp.S. */
+static int amd64fbsd_jmp_buf_reg_offset[] =
+{
+ -1, /* %rax */
+ 1 * 8, /* %rbx */
+ -1, /* %rcx */
+ -1, /* %rdx */
+ -1, /* %rsi */
+ -1, /* %rdi */
+ 3 * 8, /* %rbp */
+ 2 * 8, /* %rsp */
+ -1, /* %r8 ... */
+ -1,
+ -1,
+ -1, /* ... %r11 */
+ 4 * 8, /* %r12 ... */
+ 5 * 8,
+ 6 * 8,
+ 7 * 8, /* ... %r15 */
+ 0 * 8 /* %rip */
+};
+
+static void
+amd64fbsd_supply_uthread (struct regcache *regcache,
+ int regnum, CORE_ADDR addr)
+{
+ gdb_byte buf[8];
+ int i;
+
+ gdb_assert (regnum >= -1);
+
+ for (i = 0; i < ARRAY_SIZE (amd64fbsd_jmp_buf_reg_offset); i++)
+ {
+ if (amd64fbsd_jmp_buf_reg_offset[i] != -1
+ && (regnum == -1 || regnum == i))
+ {
+ read_memory (addr + amd64fbsd_jmp_buf_reg_offset[i], buf, 8);
+ regcache_raw_supply (regcache, i, buf);
+ }
+ }
+}
+
+static void
+amd64fbsd_collect_uthread (const struct regcache *regcache,
+ int regnum, CORE_ADDR addr)
+{
+ gdb_byte buf[8];
+ int i;
+
+ gdb_assert (regnum >= -1);
+
+ for (i = 0; i < ARRAY_SIZE (amd64fbsd_jmp_buf_reg_offset); i++)
+ {
+ if (amd64fbsd_jmp_buf_reg_offset[i] != -1
+ && (regnum == -1 || regnum == i))
+ {
+ regcache_raw_collect (regcache, i, buf);
+ write_memory (addr + amd64fbsd_jmp_buf_reg_offset[i], buf, 8);
+ }
+ }
+}
+