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