vm_copyout
vm_copyout(desc, iov, sizeof(*desc));
vm_copyout(tss, iov, sizeof(struct tss32));
vm_copyout(tss, iov, sizeof(*tss));
vm_copyout(&errcode, iov, bytes);
void vm_copyout(const void *host_src, struct iovec *guest_iov, size_t len);
void vm_copyout(struct vm *vm, int vcpuid, const void *kaddr,
vm_copyout(vm, vcpuid, &val, copyinfo, opsize);
vm_copyout(vm, vcpuid, &val, copyinfo, size);
vm_copyout(vm, vcpuid, &vie->inout.eax, copyinfo, bytes);