SDEI: Add API for explicit dispatch
authorJeenu Viswambharan <jeenu.viswambharan@arm.com>
Mon, 2 Oct 2017 11:10:54 +0000 (12:10 +0100)
committerJeenu Viswambharan <jeenu.viswambharan@arm.com>
Mon, 13 Nov 2017 08:38:51 +0000 (08:38 +0000)
commit55a1266ec87b39b5b77341760a40a9a93f590286
tree1f1c48959706405a167c100a4f2bc660c047a7c8
parent0baec2abde8827de529f12acacd3e35031f9dd48
SDEI: Add API for explicit dispatch

This allows for other EL3 components to schedule an SDEI event dispatch
to Normal world upon the next ERET. The API usage constrains are set out
in the SDEI dispatcher documentation.

Documentation to follow.

Change-Id: Id534bae0fd85afc94523490098c81f85c4e8f019
Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>
include/services/sdei.h
services/std_svc/sdei/sdei_intr_mgmt.c