609             let guard = v.lock();  in contains()  localVariable
610             if guard.region.contains(vaddr) {  in contains()
828         let mut guard = self.lock();  in remap()  localVariable
829         assert!(guard.mapped);  in remap()
830         for page in guard.region.pages() {  in remap()
840         guard.flags = flags;  in remap()
847         let mut guard = self.lock();  in unmap()  localVariable
848         assert!(guard.mapped);  in unmap()
849         for page in guard.region.pages() {  in unmap()
865         guard.mapped = false;  in unmap()
888         let mut guard = self.lock();  in extract()  localVariable
891             if unlikely(region.start() < guard.region.start() || region.end() > guard.region.end())  in extract()
896             let intersect: Option<VirtRegion> = guard.region.intersect(&region);  in extract()
902             if unlikely(intersect == guard.region) {  in extract()
904                 return Some((None, guard.self_ref.upgrade().unwrap(), None));  in extract()
908         let before: Option<Arc<LockedVMA>> = guard.region.before(&region).map(|virt_region| {  in extract()
909             let mut vma: VMA = unsafe { guard.clone() };  in extract()
916         let after: Option<Arc<LockedVMA>> = guard.region.after(&region).map(|virt_region| {  in extract()
917             let mut vma: VMA = unsafe { guard.clone() };  in extract()
924         guard.region = region;  in extract()
928         return Some((before, guard.self_ref.upgrade().unwrap(), after));  in extract()