/* sparc64 device support
   Copyright (C) 1999 Cygnus Solutions.  */

#include "sim-main.h"
#include "dev64.h"

#ifdef HAVE_DV_SOCKSER
#include "dv-sockser.h"
#endif