Searched refs:ICC_SGI1R_TARGET_LIST_MASK (Results 1 – 2 of 2) sorted by relevance
1129 target_cpus = FIELD_GET(ICC_SGI1R_TARGET_LIST_MASK, reg); in vgic_v3_dispatch_sgi()1131 for_each_set_bit(aff0, &target_cpus, hweight_long(ICC_SGI1R_TARGET_LIST_MASK)) { in vgic_v3_dispatch_sgi()
591 #define ICC_SGI1R_TARGET_LIST_MASK (0xffff << ICC_SGI1R_TARGET_LIST_SHIFT) macro