I don't really know why we use 0xf7000000 as our
reserved_va value here, though. Alex, you added that
years ago, can you remember why you used that value?
IIRC I wanted to map the full 32 bits of address space possibly in use by a
32bit application, but leave some room for something, but I don't remember what
that something was :)
Now that I know the nature of the conflict, then I will spend a handful of
instructions
to avoid [0xf7000000, +), and also the stack if it gets placed immediately
below that.
Thank you, Peter and Alex.
--
John