So in my example, va = 0x10001001, len = 0x1000. I understood that to mean [0x10001001, 0x10002001) was the newly-valid interval, which would mean 0x10002000 was a valid address...
The segattach manpage says va+len is 'rounded up'; wouldn't that mean the expanded interval was [0x10001000, 0x10003000)? Or am I misreading the manpage? Thanks, -- vs
