Searched refs:target_vcpu_needs_kick (Results 1 – 1 of 1) sorted by relevance
631 bool target_vcpu_needs_kick = false; in vgic_prune_ap_list() local702 target_vcpu_needs_kick = true; in vgic_prune_ap_list()709 if (target_vcpu_needs_kick) { in vgic_prune_ap_list()