On Fri, May 26, 2023 at 12:57 PM Samuel Thibault <samuel.thiba...@gnu.org> wrote: > > And the addresses seem well above the 4 GB limit; > > Which addresses?
These ones: > 0xffffffff8107a712(0,8101d463,400ee0,ffffffff8101d49c,0) > 0xffffffff8106ff27(ffffffffde739868,ffffffff8101d463,ffffffffde736fb8,0,ffffffff8104ceec Let me actually try building w/ Luca's patches myself and seeing if that works for me. Sergey