1/* *INDENT-OFF* */ /* THIS FILE IS GENERATED */
2
3/* A register protocol for GDB, the GNU debugger.
4   Copyright 2001, 2002 Free Software Foundation, Inc.
5
6   This file is part of GDB.
7
8   This program is free software; you can redistribute it and/or modify
9   it under the terms of the GNU General Public License as published by
10   the Free Software Foundation; either version 2 of the License, or
11   (at your option) any later version.
12
13   This program is distributed in the hope that it will be useful,
14   but WITHOUT ANY WARRANTY; without even the implied warranty of
15   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16   GNU General Public License for more details.
17
18   You should have received a copy of the GNU General Public License
19   along with this program; if not, write to the Free Software
20   Foundation, Inc., 59 Temple Place - Suite 330,
21   Boston, MA 02111-1307, USA.  */
22
23/* This file was created with the aid of ``regdat.sh'' and ``../../../../contrib/gdb/gdb/regformats/reg-x86-64.dat''.  */
24
25#include <sys/cdefs.h>
26__FBSDID("$FreeBSD$");
27
28#include "regdef.h"
29#include "regcache.h"
30
31struct reg regs_x86_64[] = {
32  { "rax", 0, 64 },
33  { "rbx", 64, 64 },
34  { "rcx", 128, 64 },
35  { "rdx", 192, 64 },
36  { "rsi", 256, 64 },
37  { "rdi", 320, 64 },
38  { "rbp", 384, 64 },
39  { "rsp", 448, 64 },
40  { "r8", 512, 64 },
41  { "r9", 576, 64 },
42  { "r10", 640, 64 },
43  { "r11", 704, 64 },
44  { "r12", 768, 64 },
45  { "r13", 832, 64 },
46  { "r14", 896, 64 },
47  { "r15", 960, 64 },
48  { "rip", 1024, 64 },
49  { "eflags", 1088, 32 },
50  { "cs", 1120, 32 },
51  { "ss", 1152, 32 },
52  { "ds", 1184, 32 },
53  { "es", 1216, 32 },
54  { "fs", 1248, 32 },
55  { "gs", 1280, 32 },
56  { "st0", 1312, 80 },
57  { "st1", 1392, 80 },
58  { "st2", 1472, 80 },
59  { "st3", 1552, 80 },
60  { "st4", 1632, 80 },
61  { "st5", 1712, 80 },
62  { "st6", 1792, 80 },
63  { "st7", 1872, 80 },
64  { "fctrl", 1952, 32 },
65  { "fstat", 1984, 32 },
66  { "ftag", 2016, 32 },
67  { "fiseg", 2048, 32 },
68  { "fioff", 2080, 32 },
69  { "foseg", 2112, 32 },
70  { "fooff", 2144, 32 },
71  { "fop", 2176, 32 },
72  { "xmm0", 2208, 128 },
73  { "xmm1", 2336, 128 },
74  { "xmm2", 2464, 128 },
75  { "xmm3", 2592, 128 },
76  { "xmm4", 2720, 128 },
77  { "xmm5", 2848, 128 },
78  { "xmm6", 2976, 128 },
79  { "xmm7", 3104, 128 },
80  { "xmm8", 3232, 128 },
81  { "xmm9", 3360, 128 },
82  { "xmm10", 3488, 128 },
83  { "xmm11", 3616, 128 },
84  { "xmm12", 3744, 128 },
85  { "xmm13", 3872, 128 },
86  { "xmm14", 4000, 128 },
87  { "xmm15", 4128, 128 },
88  { "mxcsr", 4256, 32 },
89};
90
91const char *expedite_regs_x86_64[] = { "rbp", "rsp", "rip", 0 };
92
93void
94init_registers ()
95{
96    set_register_cache (regs_x86_64,
97			sizeof (regs_x86_64) / sizeof (regs_x86_64[0]));
98    gdbserver_expedite_regs = expedite_regs_x86_64;
99}
100