vm_copyout
void vm_copyout(const void *host_src, struct iovec *guest_iov, size_t len);
void vm_copyout(const void *kaddr, struct vm_copyinfo *copyinfo, size_t len);
vm_copyout(&rflags, copyinfo, sizeof(uint64_t));
vm_copyout(&val, copyinfo, size);
vm_copyout(&val, copyinfo, opsize);
vm_copyout(&val, iov, bytes);
vm_copyout(desc, iov, sizeof(*desc));
vm_copyout(tss, iov, sizeof(struct tss32));
vm_copyout(tss, iov, sizeof(*tss));
vm_copyout(&errcode, iov, bytes);