|
@@ -457,16 +457,14 @@ int kvmppc_core_prepare_to_enter(struct kvm_vcpu *vcpu)
|
|
|
|
|
|
static void kvmppc_check_requests(struct kvm_vcpu *vcpu)
|
|
|
{
|
|
|
- if (vcpu->requests) {
|
|
|
- trace_kvm_check_requests(vcpu);
|
|
|
+ trace_kvm_check_requests(vcpu);
|
|
|
|
|
|
- if (kvm_check_request(KVM_REQ_PENDING_TIMER, vcpu))
|
|
|
- update_timer_ints(vcpu);
|
|
|
+ if (kvm_check_request(KVM_REQ_PENDING_TIMER, vcpu))
|
|
|
+ update_timer_ints(vcpu);
|
|
|
#if defined(CONFIG_KVM_E500V2) || defined(CONFIG_KVM_E500MC)
|
|
|
- if (kvm_check_request(KVM_REQ_TLB_FLUSH, vcpu))
|
|
|
- kvmppc_core_flush_tlb(vcpu);
|
|
|
+ if (kvm_check_request(KVM_REQ_TLB_FLUSH, vcpu))
|
|
|
+ kvmppc_core_flush_tlb(vcpu);
|
|
|
#endif
|
|
|
- }
|
|
|
}
|
|
|
|
|
|
/*
|