diff options
| author | Dimitris Papastamos <dimitris.papastamos@arm.com> | 2018-06-22 11:38:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-22 11:38:12 +0100 |
| commit | d87abe6a05a0f9f4bdf3ca0581b93596ada9d067 (patch) | |
| tree | 5346453ae28e8c0359ec9175f3c220ad311aa0fc | |
| parent | 9dfd755303abcea6b58849793367639a8531b6fd (diff) | |
| parent | 297a9a0f7cdbf96b2ab854108ab9281e0e3a6de7 (diff) | |
| download | platform_external_arm-trusted-firmware-d87abe6a05a0f9f4bdf3ca0581b93596ada9d067.tar.gz platform_external_arm-trusted-firmware-d87abe6a05a0f9f4bdf3ca0581b93596ada9d067.tar.bz2 platform_external_arm-trusted-firmware-d87abe6a05a0f9f4bdf3ca0581b93596ada9d067.zip | |
Merge pull request #1442 from jeenu-arm/sdei-dispatch-fix
SDEI: Fix dispatch bug
| -rw-r--r-- | services/std_svc/sdei/sdei_intr_mgmt.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/services/std_svc/sdei/sdei_intr_mgmt.c b/services/std_svc/sdei/sdei_intr_mgmt.c index 6acb12958..264ab4435 100644 --- a/services/std_svc/sdei/sdei_intr_mgmt.c +++ b/services/std_svc/sdei/sdei_intr_mgmt.c @@ -505,7 +505,7 @@ int sdei_intr_handler(uint32_t intr_raw, uint32_t flags, void *handle, * the event handling completed, EOI the corresponding * interrupt. */ - if ((map->ev_num != SDEI_EVENT_0) && is_map_bound(map)) { + if ((map->ev_num != SDEI_EVENT_0) && !is_map_bound(map)) { ERROR("Invalid SDEI mapping: ev=%u\n", map->ev_num); panic(); } |