Symbol: swait_event_timeout_exclusive