436                 let virt_addr = VirtAddr::new(buf_vaddr);  in handle()  localVariable
438                 let res = if from_user && verify_area(virt_addr, len as usize).is_err() {  in handle()
455                 let virt_addr = VirtAddr::new(buf_vaddr);  in handle()  localVariable
457                 let res = if from_user && verify_area(virt_addr, len as usize).is_err() {  in handle()
516                     let virt_addr = VirtAddr::new(path_ptr as usize);  in handle()  localVariable
519                         || (from_user && verify_area(virt_addr, PAGE_2M_SIZE as usize).is_err())  in handle()
546                 let virt_addr = VirtAddr::new(buf_vaddr);  in handle()  localVariable
548                 let res = if from_user && verify_area(virt_addr, len as usize).is_err() {  in handle()
773                 let virt_addr = VirtAddr::new(addr as usize);  in handle()  localVariable
775                 if verify_area(virt_addr, addrlen as usize).is_err() {  in handle()
785                 let virt_addr = VirtAddr::new(addr as usize);  in handle()  localVariable
787                 if verify_area(virt_addr, addrlen as usize).is_err() {  in handle()
802                 let virt_addr = VirtAddr::new(addr as usize);  in handle()  localVariable
807                 } else if verify_area(virt_addr, addrlen as usize).is_err() {  in handle()
824                 let virt_addr = VirtAddr::new(addr as usize);  in handle()  localVariable
838                     if verify_area(virt_addr, core::mem::size_of::<SockAddr>() as usize).is_err() {  in handle()
923                 let virt_addr = VirtAddr::new(args[0] as usize);  in handle()  localVariable
924                 if verify_area(virt_addr, len as usize).is_err() {  in handle()