/* DPX2 host interface.
   Copyright (C) 1988, 1989, 1991 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 2 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, write to the Free Software
   Foundation, Inc., 59 Temple Place - Suite 330,
   Boston, MA 02111-1307, USA.  */

#include "defs.h"
#include "gdbcore.h"

#include "gdb_string.h"
#include <sys/types.h>
#include <sys/param.h>
#include <sys/dir.h>
#include <signal.h>
#include <sys/user.h>
#include <sys/reg.h>
#include <sys/utsname.h>


/* this table must line up with REGISTER_NAMES in tm-68k.h */
/* symbols like 'A0' come from <sys/reg.h> */
static int regmap[] =
{
  R0, R1, R2, R3, R4, R5, R6, R7,
  A0, A1, A2, A3, A4, A5, A6, SP,
  PS, PC,
  FP0, FP1, FP2, FP3, FP4, FP5, FP6, FP7,
  FP_CR, FP_SR, FP_IAR
};

/* blockend is the value of u.u_ar0, and points to the
 * place where D0 is stored
 */

int
dpx2_register_u_addr (int blockend, int regnum)
{
  if (regnum < FP0_REGNUM)
    return (blockend + 4 * regmap[regnum]);
  else
    return (int) &(((struct user *) 0)->u_fpstate[regmap[regnum]]);
}

/* This is the amount to subtract from u.u_ar0
   to get the offset in the core file of the register values.
   Unfortunately this is not provided in the system header files.
   To make matters worse, this value also differs between
   the dpx/2200 and dpx/2300 models and nlist is not available on the dpx2.
   We use utsname() to decide on which model we are running.
   FIXME: This breaks cross examination of core files (it would not be hard
   to check whether u.u_ar0 is between 0x7fff5000 and 0x7fffc000 and if so
   use 0x7fff5000 and if not use 0x7fffc000.  FIXME).  */

#define KERNEL_U_ADDR_200 0x7fff5000
#define KERNEL_U_ADDR_300 0x7fffc000

CORE_ADDR kernel_u_addr;

void
_initialize_dpx2_nat (void)
{
  struct utsname uts;

  if (uname (&uts) == 0 && strcmp (uts.machine, "DPX/2200") == 0)
    kernel_u_addr = KERNEL_U_ADDR_200;
  else
    kernel_u_addr = KERNEL_U_ADDR_300;
}
