Lines Matching refs:pending
3060 This API returns the type of the highest priority pending interrupt at the
3063 pending. The valid interrupt types that can be returned are ``INTR_TYPE_EL3``,
3068 the pending interrupt. The type of interrupt depends upon the id value as
3077 is read to determine the id of the pending interrupt. The type of interrupt
3093 This API returns the id of the highest priority pending interrupt at the
3095 pending.
3099 pending interrupt. The id that is returned by API depends upon the value of
3110 group 0 Register*, is read to determine the id of the pending interrupt. The id
3136 the highest pending interrupt has begun. It should return the raw, unmodified
3143 priority pending interrupt from pending to active in the interrupt controller.
3150 group 1*. The read changes the state of the highest pending interrupt from
3151 pending to active in the interrupt controller. The value read is returned