[PATCH 0/3 v3] [AArch64] Support tagged pointer

[Pedro Alves]

On 04/11/2018 12:59 PM, Omair Javaid wrote:

> Yes I can submit a patch that enables set_gdbarch_significant_addr_bit for aarch64-linux-tdep only.
> 
> But a point to discuss here is the use-case where some people use *-linux-gdb for debugging seamlessly between kernel and user-space.
> 
> There can be ways we can distinguish between user/kernel address space and clear or set top byte of the address even in case of linux targets.
> 
> Does this sound something we should do? 

Yeah, why not.  

What are the pending kernel debugging patches using to distinguish
userspace and kernel debugging modes?  Off hand, I'd think we'd want to
make those separate ABIs / osabis / gdbarchs.

Thanks,
Pedro Alves