svm_range_unmap_from_gpus
r = svm_range_unmap_from_gpus(prange, s, e,
svm_range_unmap_from_gpus(pchild, s, l, trigger);
svm_range_unmap_from_gpus(prange, s, l, trigger);
svm_range_unmap_from_gpus(pchild, s, l, trigger);
svm_range_unmap_from_gpus(prange, s, l, trigger);