1 /* Target-dependent code for DICOS running on x86-64's, for GDB.
3 Copyright (C) 2009-2019 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 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;
50 _initialize_amd64_dicos_tdep (void)
52 gdbarch_register_osabi_sniffer (bfd_arch_i386, bfd_target_elf_flavour,
53 amd64_dicos_osabi_sniffer);
55 gdbarch_register_osabi (bfd_arch_i386, bfd_mach_x86_64,
57 amd64_dicos_init_abi);