Differential D33255 Diff 99611 devel/gdb/files/kgdb/aarch64-fbsd-kern.c

Changeset View

Standalone View

Show First 20 Lines • Show All 183 Lines • ▼ Show 20 Lines	aarch64_fbsd_kernel_init_abi (struct gdbarch_info info, struct gdbarch *gdbarch)
/* The kernel is linked at a virtual address with the upper 4 bits		/* The kernel is linked at a virtual address with the upper 4 bits
set, so all 64 bits of virtual addresses need to be treated as		set, so all 64 bits of virtual addresses need to be treated as
significant. */		significant. */
set_gdbarch_significant_addr_bit (gdbarch, 64);		set_gdbarch_significant_addr_bit (gdbarch, 64);
}		}

void _initialize_aarch64_kgdb_tdep ();		void _initialize_aarch64_kgdb_tdep ();
void		void
_initialize_aarch64_kgdb_tdep ()		_initialize_aarch64_kgdb_tdep ()
{		{
gdbarch_register_osabi_sniffer(bfd_arch_aarch64,		gdbarch_register_osabi_sniffer(bfd_arch_aarch64,
bfd_target_elf_flavour,		bfd_target_elf_flavour,
fbsd_kernel_osabi_sniffer);		fbsd_kernel_osabi_sniffer);
gdbarch_register_osabi (bfd_arch_aarch64, 0, GDB_OSABI_FREEBSD_KERNEL,		gdbarch_register_osabi (bfd_arch_aarch64, 0, GDB_OSABI_FREEBSD_KERNEL,
aarch64_fbsd_kernel_init_abi);		aarch64_fbsd_kernel_init_abi);
}		}