273     char platform[PROPERTY_VALUE_MAX];  in platform_init()  local
388 void platform_deinit(void *platform)  in platform_deinit()
470 int platform_send_audio_calibration(void *platform, snd_device_t snd_device)  in platform_send_audio_calibration()
494 int platform_switch_voice_call_device_pre(void *platform)  in platform_switch_voice_call_device_pre()
515 int platform_switch_voice_call_device_post(void *platform,  in platform_switch_voice_call_device_post()
548 int platform_start_voice_call(void *platform, uint32_t vsid __unused)  in platform_start_voice_call()
568 int platform_stop_voice_call(void *platform, uint32_t vsid __unused)  in platform_stop_voice_call()
592 int platform_set_voice_volume(void *platform, int volume)  in platform_set_voice_volume()
613 int platform_set_mic_mute(void *platform, bool state)  in platform_set_mic_mute()
642 snd_device_t platform_get_output_snd_device(void *platform, audio_devices_t devices)  in platform_get_output_snd_device()
744 snd_device_t platform_get_input_snd_device(void *platform,  in platform_get_input_snd_device()
917 int platform_set_hdmi_channels(void *platform,  int channel_count)  in platform_set_hdmi_channels()