Searched refs:target_vcpu_needs_kick (Results 1 – 1 of 1) sorted by relevance
632 bool target_vcpu_needs_kick = false; in vgic_prune_ap_list() local703 target_vcpu_needs_kick = true; in vgic_prune_ap_list()710 if (target_vcpu_needs_kick) { in vgic_prune_ap_list()