While we don't deal with anything that isn't using SAME_VA just yet,
let's add some code just to make sure that in the event that the VA does
differ, we know how to translate it using the information we've tracked
from mmap().