diff options
| -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 6acb1295..264ab443 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(); } |