Paolo Bonzini 63fc7375d6 gt64xxx: fix decoding of ISD register
The GT64xxx's internal registers can be placed above the first 4 GiB
in the address space, but not above the first 64 GiB.  Correctly cast
the register to a 64-bit integer, and mask away bits above bit 35.

Datasheet at http://pdf.datasheetarchive.com/datasheetsmain/Datasheets-33/DSA-655889.pdf
(bug reported by Coverity).

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Michael Tokarev <mjt@tls.msk.ru>
2015-12-04 09:39:55 +03:00
..
2015-11-30 12:36:12 +01:00
2015-11-26 14:27:52 +02:00
2015-11-24 14:12:15 +00:00
2015-11-25 14:47:06 +00:00
2015-12-04 09:39:55 +03:00
2015-11-25 13:42:37 +02:00
2015-11-24 14:56:49 -05:00
2015-11-27 10:39:55 +08:00