tree 6a017660cff4ba36bfbffa6d8e45f7dcd2d7fd54
parent 2b4054d15347f879a8c2f3b637539fa5c1bca941
author Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1510833994 +0000
committer Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1511165746 +0000

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>