diff --git a/services/std_svc/sdei/sdei_main.c b/services/std_svc/sdei/sdei_main.c index 44178eddd32044ed1688521325404e1516b16fd3..0fd3c1d32cda44f3a8ae18dbd98c61924aa992c1 100644 --- a/services/std_svc/sdei/sdei_main.c +++ b/services/std_svc/sdei/sdei_main.c @@ -710,8 +710,8 @@ static int sdei_interrupt_bind(unsigned int intr_num) sdei_ev_map_t *map; bool retry = true, shared_mapping; - /* SGIs are not allowed to be bound */ - if (plat_ic_is_sgi(intr_num) != 0) + /* Interrupt must be either PPI or SPI */ + if (!(plat_ic_is_ppi(intr_num) || plat_ic_is_spi(intr_num))) return SDEI_EINVAL; shared_mapping = (plat_ic_is_spi(intr_num) != 0);