/* Native-dependent code for FreeBSD/i386.
- Copyright (C) 2001-2004, 2007-2012 Free Software Foundation, Inc.
+ Copyright (C) 2001-2014 Free Software Foundation, Inc.
This file is part of GDB.
/* Support for debugging kernel virtual memory images. */
-#include <sys/types.h>
#include <machine/pcb.h>
#include "bsd-kvm.h"