598             if let Some(after) = split_result.after {  in munmap()
600                 self.mappings.insert_vma(after);  in munmap()
651             if let Some(after) = split_result.after {  in mprotect()
652                 self.mappings.insert_vma(after);  in mprotect()
709             if let Some(after) = split_result.after {  in madvise()
710                 self.mappings.insert_vma(after);  in madvise()
1243         let after: Option<Arc<LockedVMA>> = guard.region.after(&region).map(|virt_region| {  in extract()  localVariable
1266         if let Some(after) = after.clone() {  in extract()
1267             let virt_iter = after.lock_irqsave().region.iter_pages();  in extract()
1272                     page_guard.insert_vma(after.clone());  in extract()
1274                     after.lock_irqsave().mapped = true;  in extract()
1284             after,  in extract()
1333     pub after: Option<Arc<LockedVMA>>,  field
1345             after: post,  in new()