1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (c) 2013 Google, Inc
10 int sound_play(uint32_t msec, uint32_t frequency)
12 sandbox_sdl_sound_start(frequency);
14 sandbox_sdl_sound_stop();
19 int sound_init(const void *blob)
21 return sandbox_sdl_sound_init();