thread_reset_event_flags 3400 thread.c           thread_reset_event_flags(th);
thread_reset_event_flags 3465 thread.c           thread_reset_event_flags(th);