5 void ws_audio_init(void);
\r
6 void ws_audio_reset(void);
\r
7 void ws_audio_done(void);
\r
8 int ws_audio_seal_init(void);
\r
9 void ws_audio_seal_done(void);
\r
10 void ws_audio_clear_channel(int Channel);
\r
11 int ws_audio_play_channel(int Channel);
\r
12 int ws_audio_stop_channel(int Channel);
\r
13 void ws_write_state(int fp);
\r
14 void ws_read_state(int fp);
\r
15 void system_sound_clear(void);
\r
16 void system_sound_shutdown(void);
\r
17 void system_sound_update(void);
\r