| commit | 297a9a0f7cdbf96b2ab854108ab9281e0e3a6de7 | [log] [tgz] |
|---|---|---|
| author | Jeenu Viswambharan <jeenu.viswambharan@arm.com> | Fri Jun 22 11:21:35 2018 +0100 |
| committer | Jeenu Viswambharan <jeenu.viswambharan@arm.com> | Fri Jun 22 11:31:58 2018 +0100 |
| tree | 5346453ae28e8c0359ec9175f3c220ad311aa0fc | |
| parent | 9dfd755303abcea6b58849793367639a8531b6fd [diff] |
SDEI: Fix dispatch bug The Commit cdb6ac94ecb3c4caa784cd4d7580cf6252146196 introduced a bug because of which the SDEI dispatcher wrongly panic when an SDEI event dispatched earlier as a result of interrupt. This patch fixes the check for a bound interrupt. Change-Id: If55c8f0422ff781731248bbbc9c1b59fa0d3c4b0 Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>