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>
1 parent b968241 commit f1a67d0565fcc774790030db6a98804d2ea91619
@Jeenu Viswambharan Jeenu Viswambharan authored on 16 Nov 2017
Showing 1 changed file
View
services/std_svc/sdei/sdei_main.c