return reg_addr;
}
+static void
+arm_linux_init_abi (struct gdbarch_info info,
+ struct gdbarch *gdbarch)
+{
+ struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
+
+ tdep->lowest_pc = 0x8000;
+}
+
void
_initialize_arm_linux_tdep (void)
{
+ arm_gdbarch_register_os_abi (ARM_ABI_LINUX, arm_linux_init_abi);
}