64-bit Addresses in remote protocol

Hi

Over at RTEMS, we are looking at some warnings in our debug
server and wondering if fields described as "addr" in the gdb
protocol should be treated 64-bits when that target has 64-bit
addresses like the aarch64.

Technically, we are looking at sweeping through our gdb server
and using  uintptr_t for addresses where uint32_t has been
ok before.

But I wanted to make sure that our assumption that "addr" means
a valid target address which means it can be 32- or 64- bits based
on the target.

Thanks.

--joel
RTEMS