sdei_event_destroy  525 drivers/firmware/arm_sdei.c 		sdei_event_destroy(event);
sdei_event_destroy  635 drivers/firmware/arm_sdei.c 			sdei_event_destroy(event);
sdei_event_destroy  655 drivers/firmware/arm_sdei.c 		sdei_event_destroy(event);