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);