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
- }
}
/*