1/* Target-dependent code for DICOS running on x86-64's, for GDB.
2
3   Copyright (C) 2009, 2010, 2011 Free Software Foundation, Inc.
4
5   This file is part of GDB.
6
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.
11
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.
16
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/>.  */
19
20#include "defs.h"
21#include "osabi.h"
22#include "gdb_string.h"
23#include "amd64-tdep.h"
24#include "dicos-tdep.h"
25
26static CORE_ADDR
27amd64_dicos_push_dummy_code (struct gdbarch *gdbarch,
28			     CORE_ADDR sp, CORE_ADDR funaddr,
29			     struct value **args, int nargs,
30			     struct type *value_type,
31			     CORE_ADDR *real_pc, CORE_ADDR *bp_addr,
32			     struct regcache *regcache)
33{
34  int bplen;
35  CORE_ADDR bppc = sp;
36
37  gdbarch_breakpoint_from_pc (gdbarch, &bppc, &bplen);
38  *bp_addr = sp - bplen;
39  *real_pc = funaddr;
40
41  return *bp_addr;
42}
43
44static void
45amd64_dicos_init_abi (struct gdbarch_info info, struct gdbarch *gdbarch)
46{
47  struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
48
49  amd64_init_abi (info, gdbarch);
50
51  dicos_init_abi (gdbarch);
52
53  set_gdbarch_push_dummy_code (gdbarch, amd64_dicos_push_dummy_code);
54}
55
56static enum gdb_osabi
57amd64_dicos_osabi_sniffer (bfd *abfd)
58{
59  char *target_name = bfd_get_target (abfd);
60
61  /* On amd64-DICOS, the Load Module's "header" section is 72
62     bytes.  */
63  if (strcmp (target_name, "elf64-x86-64") == 0
64      && dicos_load_module_p (abfd, 72))
65    return GDB_OSABI_DICOS;
66
67  return GDB_OSABI_UNKNOWN;
68}
69
70/* Provide a prototype to silence -Wmissing-prototypes.  */
71void _initialize_amd64_dicos_tdep (void);
72
73void
74_initialize_amd64_dicos_tdep (void)
75{
76  gdbarch_register_osabi_sniffer (bfd_arch_i386, bfd_target_elf_flavour,
77				  amd64_dicos_osabi_sniffer);
78
79  gdbarch_register_osabi (bfd_arch_i386, bfd_mach_x86_64,
80			  GDB_OSABI_DICOS,
81			  amd64_dicos_init_abi);
82}
83