diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2016-02-09 11:44:35 +0100 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2016-02-09 15:46:55 +0100 |
| commit | 388ee48a88e684e719660a2cae9c21897b94fa37 (patch) | |
| tree | d712aba1022344ba7aa1165184d8e835d3898522 /memory_mapping.c | |
| parent | 5056c0c3de73c4d804a62d473039bc439718777d (diff) | |
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>
Diffstat (limited to 'memory_mapping.c')
0 files changed, 0 insertions, 0 deletions