1 /* Target-dependent code for DICOS running on x86-64's, for GDB.
3 Copyright (C) 2009-2022 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/>. */
22 #include "amd64-tdep.h"
23 #include "gdbsupport/x86-xstate.h"
24 #include "dicos-tdep.h"
27 amd64_dicos_init_abi (struct gdbarch_info info
, struct gdbarch
*gdbarch
)
29 amd64_init_abi (info
, gdbarch
,
30 amd64_target_description (X86_XSTATE_SSE_MASK
, true));
32 dicos_init_abi (gdbarch
);
36 amd64_dicos_osabi_sniffer (bfd
*abfd
)
38 const char *target_name
= bfd_get_target (abfd
);
40 /* On amd64-DICOS, the Load Module's "header" section is 72
42 if (strcmp (target_name
, "elf64-x86-64") == 0
43 && dicos_load_module_p (abfd
, 72))
44 return GDB_OSABI_DICOS
;
46 return GDB_OSABI_UNKNOWN
;
49 void _initialize_amd64_dicos_tdep ();
51 _initialize_amd64_dicos_tdep ()
53 gdbarch_register_osabi_sniffer (bfd_arch_i386
, bfd_target_elf_flavour
,
54 amd64_dicos_osabi_sniffer
);
56 gdbarch_register_osabi (bfd_arch_i386
, bfd_mach_x86_64
,
58 amd64_dicos_init_abi
);