Source position: lwp_mutex.inc line 50
procedure __lwp_mutex_flush(
mutex: Plwp_mutex;
status: cuint32
);