Searched refs:target_vcpu_needs_kick (Results 1 – 1 of 1) sorted by relevance
674 bool target_vcpu_needs_kick = false; in vgic_prune_ap_list() local745 target_vcpu_needs_kick = true; in vgic_prune_ap_list()752 if (target_vcpu_needs_kick) { in vgic_prune_ap_list()