__zap_vma_range
__zap_vma_range(&tlb, vma, range.start, range.end, &details);
__zap_vma_range(tlb, vma, start, end, &details);
__zap_vma_range(tlb, vma, address, end, details);