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