Lines Matching defs:_

87 Interrupt Management Framework`_). The terminology used in the following
228 in the section `Software components`_. The framework stores information
242 state. As mentioned in Section `Routing model`_, a value of ``0`` implies that
301 `Software components`_) during the registration of a handler for an interrupt
518 (see `Valid routing models`_) effects the implementation of the Secure-EL1
609 components`_.
615 Section `Software components`_) in handling an interrupt of a particular type.
779    (see section `Test secure payload dispatcher behavior`_).
833 (See Section `Implication of preempted SMC on Non-Secure Software`_).
838 dispatcher behavior`_). If the build option is set, the TSPD will set the
878 (see section `Implication of preempted SMC on Non-Secure Software`_).  The TSPD
936 behavior`_ is maintained. It updates some statistics by calling
967    dispatcher non-secure interrupt handling`_).
977 the interrupt (For details on ``yielding`` SMC refer `SMC calling convention`_).