Searched refs:target_vcpu_needs_kick (Results 1 – 1 of 1) sorted by relevance
723 bool target_vcpu_needs_kick = false; in vgic_prune_ap_list() local794 target_vcpu_needs_kick = true; in vgic_prune_ap_list()801 if (target_vcpu_needs_kick) { in vgic_prune_ap_list()