1 /* Target-dependent code for DICOS running on x86-64's, for GDB.
3 Copyright (C) 2009-2013 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
);