Symbol: sdei_event_destroy
drivers/firmware/arm_sdei.c
515
sdei_event_destroy(event);
drivers/firmware/arm_sdei.c
603
sdei_event_destroy(event);