mremap_to
res_vma = mremap_to(vrm);
res = vrm_implies_new_addr(vrm) ? mremap_to(vrm) : mremap_at(vrm);