259     char platform[PROPERTY_VALUE_MAX];  in platform_init()  local
374 void platform_deinit(void *platform)  in platform_deinit()
437 int platform_send_audio_calibration(void *platform, snd_device_t snd_device)  in platform_send_audio_calibration()
461 int platform_switch_voice_call_device_pre(void *platform)  in platform_switch_voice_call_device_pre()
482 int platform_switch_voice_call_device_post(void *platform,  in platform_switch_voice_call_device_post()
515 int platform_start_voice_call(void *platform, uint32_t vsid __unused)  in platform_start_voice_call()
535 int platform_stop_voice_call(void *platform, uint32_t vsid __unused)  in platform_stop_voice_call()
559 int platform_set_voice_volume(void *platform, int volume)  in platform_set_voice_volume()
580 int platform_set_mic_mute(void *platform, bool state)  in platform_set_mic_mute()
609 snd_device_t platform_get_output_snd_device(void *platform, audio_devices_t devices)  in platform_get_output_snd_device()
703 snd_device_t platform_get_input_snd_device(void *platform, audio_devices_t out_device)  in platform_get_input_snd_device()
873 int platform_set_hdmi_channels(void *platform,  int channel_count)  in platform_set_hdmi_channels()