Lines Matching refs:group

2494 *power domain*. A *power domain* is a CPU or a logical group of CPUs which
2502 logical grouping of CPUs that share some state, then level 1 is that group of
2503 CPUs (for example, a cluster), and level 2 is a group of clusters (for
3046 ``ICC_HPPIR0_EL1``, *Highest Priority Pending group 0 Interrupt Register*,
3080 group 0 Register*, is read to determine the id of the pending interrupt. The id
3086    register ``ICC_HPPIR1_EL1``, *Highest Priority Pending Interrupt group 1
3087    Register* is read to determine the id of the group 1 interrupt. This id
3093 register ``ICC_HPPIR1_EL1``, *Highest Priority Pending group 1 Interrupt
3118 Acknowledge Register group 0*. If the API is invoked from S-EL1, the function
3120 group 1*. The read changes the state of the highest pending interrupt from
3164 and Non-secure interrupts as Group1 interrupts. It reads the group value
3166 (``GICD_IGROUPRn``). It uses the group value to determine the type of interrupt.