Searched refs:target_cpus (Results 1 – 2 of 2) sorted by relevance
26 __bitmask(target_cpus, nr_cpumask_bits)31 __assign_bitmask(target_cpus, cpumask_bits(mask), nr_cpumask_bits);35 TP_printk("target_mask=%s (%s)", __get_bitmask(target_cpus), __entry->reason)
936 u16 target_cpus; in vgic_v3_dispatch_sgi() local945 target_cpus = (reg & ICC_SGI1R_TARGET_LIST_MASK) >> ICC_SGI1R_TARGET_LIST_SHIFT; in vgic_v3_dispatch_sgi()960 if (!broadcast && target_cpus == 0) in vgic_v3_dispatch_sgi()970 level0 = match_mpidr(mpidr, target_cpus, c_vcpu); in vgic_v3_dispatch_sgi()975 target_cpus &= ~BIT(level0); in vgic_v3_dispatch_sgi()