14 |EHF| changes the semantics of `Interrupt handling`_ and :ref:`synchronous
42 -  The Arm `SDEI specification`_ defines interfaces through which Normal world
53 EL3. These components—referred to as *dispatchers* [#spd]_ in general—may
100 .. __: `Partitioning priority levels`_  target
135 `Transition of priority levels`_.
163    Secure execution. See `Effect on SMC calls`_ for more details.
191    ``0x20``, ``0x40``, and ``0x60``. See `Interrupt handling example`_.
208 .. __: `ehf-apis`_  target
226 Refer to the `Interrupt handling example`_ for usage. See also: `Interrupt
227 Prioritisation Considerations`_.
232 The text in `Partitioning priority levels`_ only describes how the platform
240 `Partitioning priority levels`_ section above.
242 See `Limitations`_, and also refer to `Interrupt handling example`_ for
359 See also the `Build-time flow`_ and the `Run-time flow`_.
370 calling ``ehf_activate_priority()``. See `Run-time flow`_.
381 .. __: `delegation-use-cases`_  target
429 `Run-time flow`_.
431 .. __: `Transition of priority levels`_  target
489 to be taken to S-EL1 [#irq]_, so would get a chance to populate the designated
493 handling`_.
508 .. __: `ehf-figure`_  target
513    individual dispatchers, as described in `Partitioning priority levels`_.
516    `Programming priority`_.
521 Also refer to the `Interrupt handling example`_.
531    interrupt properties (see `Programming priority`_), and configures the
554    `deactivation workflows`_.
583 As mentioned in `Partitioning priority levels`_, interrupts targeting distinct