/* core.c is supposed to be the more machine-independent aspects of this;
this file is more machine-specific. */
-#include <stdio.h>
+#include "defs.h"
#include <sys/types.h>
#include <sys/param.h>
-#include "defs.h"
#include "gdbcore.h"
/* These are needed on various systems to expand REGISTER_U_ADDR. */
NOP. */
if (reg_ptr > core_reg_size)
reg_ptr -= KERNEL_U_ADDR;
- if (reg_ptr > core_reg_size)
- fprintf (stderr, "Can't find registers in core file\n");
for (regno = 0; regno < NUM_REGS; regno++)
{