text: /* Target-dependent code for DICOS running on x86-64's, for GDB.
  
     Copyright (C) 2009-2014 Free Software Foundation, Inc.
  
     This file is part of GDB.
  
     This program is free software; you can redistribute it and/or modify
     it under the terms of the GNU General Public License as published by
     the Free Software Foundation; either version 3 of the License, or
     (at your option) any later version.
  
     This program is distributed in the hope that it will be useful,
     but WITHOUT ANY WARRANTY; without even the implied warranty of
     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     GNU General Public License for more details.
  
     You should have received a copy of the GNU General Public License
     along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  
  #include "defs.h"
  #include "osabi.h"
  #include <string.h>
  #include "amd64-tdep.h"
  #include "dicos-tdep.h"
  
  static void
  amd64_dicos_init_abi (struct gdbarch_info info, struct gdbarch *gdbarch)
  {
    struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
  
    amd64_init_abi (info, gdbarch);
  
    dicos_init_abi (gdbarch);
  }
  
  static enum gdb_osabi
  amd64_dicos_osabi_sniffer (bfd *abfd)
  {
    char *target_name = bfd_get_target (abfd);
  
    /* On amd64-DICOS, the Load Module's "header" section is 72
       bytes.  */
    if (strcmp (target_name, "elf64-x86-64") == 0
        && dicos_load_module_p (abfd, 72))
      return GDB_OSABI_DICOS;
  
    return GDB_OSABI_UNKNOWN;
  }
  
  /* Provide a prototype to silence -Wmissing-prototypes.  */
  void _initialize_amd64_dicos_tdep (void);
  
  void
  _initialize_amd64_dicos_tdep (void)
  {
    gdbarch_register_osabi_sniffer (bfd_arch_i386, bfd_target_elf_flavour,
  				  amd64_dicos_osabi_sniffer);
  
    gdbarch_register_osabi (bfd_arch_i386, bfd_mach_x86_64,
  			  GDB_OSABI_DICOS,
  			  amd64_dicos_init_abi);
  }
  