#include "defs.h"
#include "gdbcore.h"
#include "regcache.h"
+#include "target.h"
#include "gdb_assert.h"
amd64_native_gregset32_num_regs = ARRAY_SIZE (amd64obsd32_r_reg_offset);
amd64_native_gregset64_reg_offset = amd64obsd_r_reg_offset;
+ /* We've got nothing to add to the common *BSD/amd64 target. */
+ add_target (amd64bsd_target ());
+
/* Support debugging kernel virtual memory images. */
bsd_kvm_add_target (amd64obsd_supply_pcb);
}