Searched refs:target_vcpu_needs_kick (Results 1 – 1 of 1) sorted by relevance
764 bool target_vcpu_needs_kick = false; in vgic_prune_ap_list() local835 target_vcpu_needs_kick = true; in vgic_prune_ap_list()842 if (target_vcpu_needs_kick) { in vgic_prune_ap_list()