1199 	caddr_t src_addr, dst_addr;  in i_vldc_ioctl_read_cookie()  local
1208 	dst_addr = (caddr_t)copy_info.dst_addr;  in i_vldc_ioctl_read_cookie()
1218 		    dst_addr, copy_size, src_addr);  in i_vldc_ioctl_read_cookie()
1222 		    &copy_size, dst_addr, LDC_COPY_IN);  in i_vldc_ioctl_read_cookie()
1226 			    vldc_instance, vport->number, dst_addr, rv);  in i_vldc_ioctl_read_cookie()
1248 		dst_addr += copy_size;  in i_vldc_ioctl_read_cookie()
1267 	caddr_t src_addr, dst_addr;  in i_vldc_ioctl_write_cookie()  local
1276 	    copy_info.length, copy_info.dst_addr);  in i_vldc_ioctl_write_cookie()
1280 	dst_addr = (caddr_t)copy_info.dst_addr;  in i_vldc_ioctl_write_cookie()
1299 		    &copy_size, dst_addr, LDC_COPY_OUT);  in i_vldc_ioctl_write_cookie()
1303 			    vldc_instance, vport->number, dst_addr, rv);  in i_vldc_ioctl_write_cookie()
1316 		dst_addr += copy_size;  in i_vldc_ioctl_write_cookie()