1 /* Target-dependent code for DICOS running on x86-64's, for GDB.
3 Copyright (C) 2009-2012 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 "gdb_string.h"
23 #include "amd64-tdep.h"
24 #include "dicos-tdep.h"
27 amd64_dicos_init_abi (struct gdbarch_info info, struct gdbarch *gdbarch)
29 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
31 amd64_init_abi (info, gdbarch);
33 dicos_init_abi (gdbarch);
37 amd64_dicos_osabi_sniffer (bfd *abfd)
39 char *target_name = bfd_get_target (abfd);
41 /* On amd64-DICOS, the Load Module's "header" section is 72
43 if (strcmp (target_name, "elf64-x86-64") == 0
44 && dicos_load_module_p (abfd, 72))
45 return GDB_OSABI_DICOS;
47 return GDB_OSABI_UNKNOWN;
50 /* Provide a prototype to silence -Wmissing-prototypes. */
51 void _initialize_amd64_dicos_tdep (void);
54 _initialize_amd64_dicos_tdep (void)
56 gdbarch_register_osabi_sniffer (bfd_arch_i386, bfd_target_elf_flavour,
57 amd64_dicos_osabi_sniffer);
59 gdbarch_register_osabi (bfd_arch_i386, bfd_mach_x86_64,
61 amd64_dicos_init_abi);