read_guest
rc = read_guest(vcpu, ga, ar, ctl_array, nr_regs * sizeof(u32));
rc = read_guest(vcpu, ga, ar, ctl_array, nr_regs * sizeof(u64));
rc = read_guest(vcpu, operand2, ar, &address, sizeof(address));
rc = read_guest(vcpu, addr, ar, &new_psw, sizeof(new_psw));
rc = read_guest(vcpu, addr, ar, &new_psw, sizeof(new_psw));
rc = read_guest(vcpu, addr, ar, &new_psw, sizeof(new_psw));
rc = read_guest(vcpu, op2, ar, >od.tod, sizeof(gtod.tod));