diff options
| author | Adam Lackorzynski <adam@os.inf.tu-dresden.de> | 2010-08-15 15:58:32 +0200 |
|---|---|---|
| committer | Anthony Liguori <aliguori@us.ibm.com> | 2010-08-22 16:19:00 -0500 |
| commit | 583cd3cb93649ef223e36bf33197de65c3d9767b (patch) | |
| tree | e0860ed9875b1dad3b59a846a78cdf2bc83a4410 | |
| parent | 6977dfe6af975d72a8140dbc91effe8b8f2a58f8 (diff) | |
target-i386: svm: Fix MSRPM check
Correct the calculation of the offset in the msrpm
for the MSR range 0 - 0x1fff.
Signed-off-by: Adam Lackorzynski <adam@os.inf.tu-dresden.de>
Signed-off-by: Anthony Liguori <aliguori@us.ibm.com>
| -rw-r--r-- | target-i386/op_helper.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/target-i386/op_helper.c b/target-i386/op_helper.c index c50e818e7..ec6b3e938 100644 --- a/target-i386/op_helper.c +++ b/target-i386/op_helper.c @@ -5237,7 +5237,7 @@ void helper_svm_check_intercept_param(uint32_t type, uint64_t param) switch((uint32_t)ECX) { case 0 ... 0x1fff: t0 = (ECX * 2) % 8; - t1 = ECX / 8; + t1 = (ECX * 2) / 8; break; case 0xc0000000 ... 0xc0001fff: t0 = (8192 + ECX - 0xc0000000) * 2; |