Jeenu Viswambharan f1a67d0565 SDEI: Assert that dynamic events have Normal priority ... The SDEI specification requires that binding a client interrupt dispatches SDEI Normal priority event. This means that dynamic events can't have Critical priority. Add asserts for this. Change-Id: I0bdd9e0e642fb2b61810cb9f4cbfbd35bba521d1 Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>		2017-11-20 08:15:46 +00:00
..
sdei_event.c	BL31: Add SDEI dispatcher	2017-11-13 08:38:51 +00:00
sdei_intr_mgmt.c	SDEI: Fix security state check for explicit dispatch	2017-11-20 08:15:46 +00:00
sdei_main.c	SDEI: Assert that dynamic events have Normal priority	2017-11-20 08:15:46 +00:00
sdei_private.h	BL31: Add SDEI dispatcher	2017-11-13 08:38:51 +00:00
sdei_state.c	BL31: Add SDEI dispatcher	2017-11-13 08:38:51 +00:00