write_guest
r = write_guest(vcpu, addr, reg2, sctns, PAGE_SIZE);
rc = write_guest(vcpu, ga, ar, ctl_array, nr_regs * sizeof(u32));
rc = write_guest(vcpu, ga, ar, ctl_array, nr_regs * sizeof(u64));
rc = write_guest(vcpu, operand2, ar, &address, sizeof(address));
rc = write_guest(vcpu, ga, ar, &vcpu_id, sizeof(vcpu_id));
rc = write_guest(vcpu, addr, ar, &tpi_data, len);
rc = write_guest(vcpu, operand2, ar, &stidp_data, sizeof(stidp_data));
rc = write_guest(vcpu, operand2, ar, (void *)mem, PAGE_SIZE);