tree 9e882f84a86afddca871e75a773fa5b6a7590eec
parent 53350999758e58b55d793c955b65a846fee27db1
author Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1516192211 +0000
committer Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1529594123 +0100

SDEI: Allow platforms to define explicit events

The current macros only allow to define dynamic and statically-bound
SDEI events. However, there ought be a mechanism to define SDEI events
that are explicitly dispatched; i.e., events that are dispatched as a
result of a previous secure interrupt or other exception

This patch introduces SDEI_EXPLICIT_EVENT() macro to define an explicit
event. They must be placed under private mappings. Only the priority
flags are allowed to be additionally specified.

Documentation updated.

Change-Id: I2e12f5571381195d6234c9dfbd5904608ad41db3
Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>