exclusive_event_destroy 4588 kernel/events/core.c 	exclusive_event_destroy(event);
exclusive_event_destroy 10622 kernel/events/core.c 	exclusive_event_destroy(event);