Searched refs:ICC_SGI1R_TARGET_LIST_MASK (Results 1 – 2 of 2) sorted by relevance
591 #define ICC_SGI1R_TARGET_LIST_MASK (0xffff << ICC_SGI1R_TARGET_LIST_SHIFT) macro
1071 target_cpus = (reg & ICC_SGI1R_TARGET_LIST_MASK) >> ICC_SGI1R_TARGET_LIST_SHIFT; in vgic_v3_dispatch_sgi()