diff options
-rw-r--r-- | drivers/kvm/vmx.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/drivers/kvm/vmx.c b/drivers/kvm/vmx.c index 61a611691e5..8c0115b5480 100644 --- a/drivers/kvm/vmx.c +++ b/drivers/kvm/vmx.c | |||
@@ -1182,7 +1182,7 @@ static void inject_rmode_irq(struct kvm_vcpu *vcpu, int irq) | |||
1182 | u16 sp = vmcs_readl(GUEST_RSP); | 1182 | u16 sp = vmcs_readl(GUEST_RSP); |
1183 | u32 ss_limit = vmcs_read32(GUEST_SS_LIMIT); | 1183 | u32 ss_limit = vmcs_read32(GUEST_SS_LIMIT); |
1184 | 1184 | ||
1185 | if (sp > ss_limit || sp - 6 > sp) { | 1185 | if (sp > ss_limit || sp < 6 ) { |
1186 | vcpu_printf(vcpu, "%s: #SS, rsp 0x%lx ss 0x%lx limit 0x%x\n", | 1186 | vcpu_printf(vcpu, "%s: #SS, rsp 0x%lx ss 0x%lx limit 0x%x\n", |
1187 | __FUNCTION__, | 1187 | __FUNCTION__, |
1188 | vmcs_readl(GUEST_RSP), | 1188 | vmcs_readl(GUEST_RSP), |