291     char platform[PROPERTY_VALUE_MAX];  in platform_init()  local
406 void platform_deinit(void *platform)  in platform_deinit()
488 int platform_send_audio_calibration(void *platform, snd_device_t snd_device)  in platform_send_audio_calibration()
512 int platform_switch_voice_call_device_pre(void *platform)  in platform_switch_voice_call_device_pre()
533 int platform_switch_voice_call_device_post(void *platform,  in platform_switch_voice_call_device_post()
566 int platform_start_voice_call(void *platform, uint32_t vsid __unused)  in platform_start_voice_call()
586 int platform_stop_voice_call(void *platform, uint32_t vsid __unused)  in platform_stop_voice_call()
610 int platform_set_voice_volume(void *platform, int volume)  in platform_set_voice_volume()
631 int platform_set_mic_mute(void *platform, bool state)  in platform_set_mic_mute()
660 snd_device_t platform_get_output_snd_device(void *platform, audio_devices_t devices)  in platform_get_output_snd_device()
762 snd_device_t platform_get_input_snd_device(void *platform,  in platform_get_input_snd_device()
935 int platform_set_hdmi_channels(void *platform,  int channel_count)  in platform_set_hdmi_channels()