20     mm::{verify_area, MemoryManagementArch, VirtAddr},
438                 let res = if from_user && verify_area(virt_addr, len as usize).is_err() {  in handle()
457                 let res = if from_user && verify_area(virt_addr, len as usize).is_err() {  in handle()
519                         || (from_user && verify_area(virt_addr, PAGE_2M_SIZE as usize).is_err())  in handle()
548                 let res = if from_user && verify_area(virt_addr, len as usize).is_err() {  in handle()
572                     && (verify_area(virt_path_ptr, PAGE_4K_SIZE as usize).is_err()  in handle()
573                         || verify_area(virt_argv_ptr, PAGE_4K_SIZE as usize).is_err())  in handle()
574                     || verify_area(virt_env_ptr, PAGE_4K_SIZE as usize).is_err()  in handle()
595                     && (verify_area(virt_wstatus, core::mem::size_of::<c_int>() as usize).is_err()  in handle()
596                         || verify_area(virt_rusage, PAGE_4K_SIZE as usize).is_err())  in handle()
614                         || (from_user && verify_area(virt_path_ptr, PAGE_2M_SIZE as usize).is_err())  in handle()
641                     && (verify_area(virt_req, core::mem::size_of::<TimeSpec>() as usize).is_err()  in handle()
642                         || verify_area(virt_rem, core::mem::size_of::<TimeSpec>() as usize)  in handle()
656                     && verify_area(virt_pipefd, core::mem::size_of::<[c_int; 2]>() as usize)  in handle()
673                 if from_user && verify_area(virt_pathname, PAGE_4K_SIZE as usize).is_err() {  in handle()
735                 if verify_area(virt_optval, optlen as usize).is_err() {  in handle()
750                     if verify_area(virt_optval, PAGE_4K_SIZE as usize).is_err() {  in handle()
756                     if verify_area(virt_optlen, core::mem::size_of::<u32>() as usize).is_err() {  in handle()
775                 if verify_area(virt_addr, addrlen as usize).is_err() {  in handle()
787                 if verify_area(virt_addr, addrlen as usize).is_err() {  in handle()
804                 if verify_area(virt_buf, len as usize).is_err() {  in handle()
807                 } else if verify_area(virt_addr, addrlen as usize).is_err() {  in handle()
827                     if verify_area(virt_buf, len as usize).is_err() {  in handle()
833                     if verify_area(virt_addrlen, core::mem::size_of::<u32>() as usize).is_err() {  in handle()
838                     if verify_area(virt_addr, core::mem::size_of::<SockAddr>() as usize).is_err() {  in handle()
859                     if verify_area(  in handle()
895                     if verify_area(virt_timeval, core::mem::size_of::<PosixTimeval>() as usize)  in handle()
900                     if verify_area(  in handle()
924                 if verify_area(virt_addr, len as usize).is_err() {  in handle()
964                 match verify_area(vaddr, core::mem::size_of::<PosixKstat>()) {  in handle()