|
@@ -490,12 +490,12 @@ static int handle_epsw(struct kvm_vcpu *vcpu)
|
|
|
kvm_s390_get_regs_rre(vcpu, ®1, ®2);
|
|
|
|
|
|
/* This basically extracts the mask half of the psw. */
|
|
|
- vcpu->run->s.regs.gprs[reg1] &= 0xffffffff00000000;
|
|
|
+ vcpu->run->s.regs.gprs[reg1] &= 0xffffffff00000000UL;
|
|
|
vcpu->run->s.regs.gprs[reg1] |= vcpu->arch.sie_block->gpsw.mask >> 32;
|
|
|
if (reg2) {
|
|
|
- vcpu->run->s.regs.gprs[reg2] &= 0xffffffff00000000;
|
|
|
+ vcpu->run->s.regs.gprs[reg2] &= 0xffffffff00000000UL;
|
|
|
vcpu->run->s.regs.gprs[reg2] |=
|
|
|
- vcpu->arch.sie_block->gpsw.mask & 0x00000000ffffffff;
|
|
|
+ vcpu->arch.sie_block->gpsw.mask & 0x00000000ffffffffUL;
|
|
|
}
|
|
|
return 0;
|
|
|
}
|