772                 let addrlen = args[2] as usize;  in handle()  localVariable
775                 if verify_area(virt_addr, addrlen as usize).is_err() {  in handle()
779                     Self::connect(args[0], addr, addrlen)  in handle()
784                 let addrlen = args[2] as usize;  in handle()  localVariable
787                 if verify_area(virt_addr, addrlen as usize).is_err() {  in handle()
791                     Self::bind(args[0], addr, addrlen)  in handle()
800                 let addrlen = args[5] as usize;  in handle()  localVariable
807                 } else if verify_area(virt_addr, addrlen as usize).is_err() {  in handle()
812                     Self::sendto(args[0], data, flags, addr, addrlen)  in handle()
821                 let addrlen = args[5] as *mut usize;  in handle()  localVariable
823                 let virt_addrlen = VirtAddr::new(addrlen as usize);  in handle()
849                     Self::recvfrom(args[0], buf, flags, addr, addrlen as *mut u32)  in handle()