Fwd: A typo of yours or a misunderstanding of mine?

[Tom de Vries]

On 11/18/21 7:06 PM, Tom de Vries via Gdb wrote:
> the docs should mention the addresses 0x54314, 0x54318, and 0x5431c.

Hmm, I only just realized that half means is 2 bytes, and this series is
4-bytes spaced.

So, it should be:
...
0x5431a, 0x5431c, and 0x5431e.
...

Thanks,
- Tom