target-i386: fix PSE36 mode
commit388ee48a88e684e719660a2cae9c21897b94fa37
authorPaolo Bonzini <pbonzini@redhat.com>
Tue, 9 Feb 2016 10:44:35 +0000 (9 11:44 +0100)
committerPaolo Bonzini <pbonzini@redhat.com>
Tue, 9 Feb 2016 14:46:55 +0000 (9 15:46 +0100)
treed712aba1022344ba7aa1165184d8e835d3898522
parent5056c0c3de73c4d804a62d473039bc439718777d
target-i386: fix PSE36 mode

(pde & 0x1fe000) is a 32-bit integer; when shifting it
into bits 39-32 the result is zero.  Fix it by making the
mask (and thus the result of the AND) a 64-bit integer.

Reported by Coverity.

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
target-i386/helper.c