tree bf180c3a2e948ffa7c79b97eaa630a4d4b23b5bd
parent d3dc3a063af0a5fd096d71f3901dfb38308547fd
author Olivier Deprez <olivier.deprez@arm.com> 1617354550 +0200
committer Olivier Deprez <olivier.deprez@arm.com> 1618946684 +0200

spmd: add FFA_INTERRUPT forwarding

In the case of a SP pre-empted by a non-secure interrupt, the SPMC
returns to the SPMD through the FFA_INTERRUPT ABI. It is then forwarded
to the normal world driver hinting the SP has to be resumed after the
non-secure interrupt has been serviced.

Signed-off-by: Olivier Deprez <olivier.deprez@arm.com>
Change-Id: I51a694dddcb8ea30fa84e1f11d018bc2abec0a56