addr_t host_addr;
if (guest_va_to_host_va(guest_info, cursor, &host_addr) != 0) {
- return -1;
+ return bytes_read;
}
memcpy(dest + bytes_read, (void*)host_addr, bytes_to_copy);
cursor += bytes_to_copy;
}
- return 0;
+ return bytes_read;
}
addr_t host_addr;
if (guest_pa_to_host_va(guest_info, cursor, &host_addr) != 0) {
- return -1;
+ return bytes_read;
}
memcpy(dest + bytes_read, (void*)host_addr, bytes_to_copy);
cursor += bytes_to_copy;
}
- return 0;
+ return bytes_read;
}
addr_t host_addr;
if (guest_pa_to_host_va(guest_info, cursor, &host_addr) != 0) {
- return -1;
+ return bytes_written;
}
memcpy((void*)host_addr, src + bytes_written, bytes_to_copy);
cursor += bytes_to_copy;
}
- return 0;
+ return bytes_written;
}