Fix tagged pointer support
[deliverable/binutils-gdb.git] / gdb / aarch64-linux-tdep.c
index 1f3e888e40d002f588a34171cc6578804ea6e654..ba5757d276b42a0cb4b0034d4327560f1fe92244 100644 (file)
@@ -1062,6 +1062,11 @@ aarch64_linux_init_abi (struct gdbarch_info info, struct gdbarch *gdbarch)
   /* Syscall record.  */
   tdep->aarch64_syscall_record = aarch64_linux_syscall_record;
 
+  /* The top byte of a user space address known as the "tag",
+     is ignored by the kernel and can be regarded as additional
+     data associated with the address.  */
+  set_gdbarch_significant_addr_bit (gdbarch, 56);
+
   /* Initialize the aarch64_linux_record_tdep.  */
   /* These values are the size of the type that will be used in a system
      call.  They are obtained from Linux Kernel source.  */
This page took 0.028585 seconds and 4 git commands to generate.