435                 let len = args[2];  in handle()  localVariable
438                 let res = if from_user && verify_area(virt_addr, len as usize).is_err() {  in handle()
443                         core::slice::from_raw_parts_mut::<'static, u8>(buf_vaddr as *mut u8, len)  in handle()
454                 let len = args[2];  in handle()  localVariable
457                 let res = if from_user && verify_area(virt_addr, len as usize).is_err() {  in handle()
462                         core::slice::from_raw_parts::<'static, u8>(buf_vaddr as *const u8, len)  in handle()
525                     if dest_path.len() == 0 {  in handle()
527                     } else if dest_path.len() > PAGE_4K_SIZE as usize {  in handle()
545                 let len = args[2];  in handle()  localVariable
548                 let res = if from_user && verify_area(virt_addr, len as usize).is_err() {  in handle()
555                         core::slice::from_raw_parts_mut::<'static, u8>(buf_vaddr as *mut u8, len)  in handle()
682                         if pathname.len() >= MAX_PATHLEN {  in handle()
797                 let len = args[2] as usize;  in handle()  localVariable
804                 if verify_area(virt_buf, len as usize).is_err() {  in handle()
811                     let data: &[u8] = unsafe { core::slice::from_raw_parts(buf, len) };  in handle()
818                 let len = args[2] as usize;  in handle()  localVariable
827                     if verify_area(virt_buf, len as usize).is_err() {  in handle()
848                     let buf = unsafe { core::slice::from_raw_parts_mut(buf, len) };  in handle()
922                 let len = page_align_up(args[1]);  in handle()  localVariable
924                 if verify_area(virt_addr, len as usize).is_err() {  in handle()
929                         len,  in handle()
939                 let len = page_align_up(args[1]);  in handle()  localVariable
944                     Self::munmap(VirtAddr::new(addr), len)  in handle()
949                 let len = page_align_up(args[1]);  in handle()  localVariable
954                     Self::mprotect(VirtAddr::new(addr), len, args[2])  in handle()
987                 let len = args[1] as usize;  in handle()  localVariable
988                 let res = Self::ftruncate(fd, len);  in handle()