void
voiddummy ()
{
- printf("void dummy\n");
+ fprintf_unfiltered (gdb_stdout, "void dummy\n");
}
static void
const char *format;
va_list ap;
{
- vfprintf (stdout, format, ap);
+ vfprintf_unfiltered (gdb_stdout, format, ap);
}
static void
int c;
{
if (isascii (c))
- fputc_unfiltered (c, (FILE *) arg);
+ fputc_unfiltered (c, gdb_stdout);
}
static int
if (rslt != adp_ok)
error ("Could not open device \"%s\"", name);
- gdb_config.bytesex = 2 | (target_byte_order == BIG_ENDIAN ? 1 : 0);
+ gdb_config.bytesex = 2 | (TARGET_BYTE_ORDER == BIG_ENDIAN ? 1 : 0);
gdb_config.fpe = 1;
gdb_config.rditype = 2;
gdb_config.heartbeat_on = 1;
gdb_hostif.dbgprint = myprint;
gdb_hostif.dbgpause = mypause;
- gdb_hostif.dbgarg = stdout;
+ gdb_hostif.dbgarg = NULL;
gdb_hostif.writec = mywritec;
gdb_hostif.readc = myreadc;
gdb_hostif.write = mywrite;
gdb_hostif.gets = mygets;
- gdb_hostif.hostosarg = stdout;
+ gdb_hostif.hostosarg = NULL;
gdb_hostif.reset = voiddummy;
rslt = angel_RDI_open (10, &gdb_config, &gdb_hostif, NULL);