#include <sys/types.h>
#include <sys/param.h>
#include "gdbcore.h"
+#include "value.h" /* For supply_register. */
/* These are needed on various systems to expand REGISTER_U_ADDR. */
#ifndef USG
#endif /* NO_PTRACE_H */
#endif
+#ifdef NEED_SYS_CORE_H
+#include <sys/core.h>
+#endif
+
/* Extract the register values out of the core file and store
them where `read_register' will find them.