783 int platform_acdb_init(void *platform)  in platform_acdb_init()
816     char platform[PROPERTY_VALUE_MAX] = {0};  in platform_init()  local
986 void platform_deinit(void *platform)  in platform_deinit()
1038 int platform_get_snd_device_name_extn(void *platform, snd_device_t snd_device,  in platform_get_snd_device_name_extn()
1081 void platform_add_backend_name(void *platform, char *mixer_path,  in platform_add_backend_name()
1242 int platform_send_audio_calibration(void *platform, snd_device_t snd_device)  in platform_send_audio_calibration()
1278 int platform_switch_voice_call_device_post(void *platform,  in platform_switch_voice_call_device_post()
1334 int platform_set_voice_volume(void *platform, int volume)  in platform_set_voice_volume()
1363 int platform_set_mic_mute(void *platform, bool state)  in platform_set_mic_mute()
1389 int platform_set_device_mute(void *platform, bool state, char *dir)  in platform_set_device_mute()
1458 snd_device_t platform_get_output_snd_device(void *platform, audio_devices_t devices)  in platform_get_output_snd_device()
1583 snd_device_t platform_get_input_snd_device(void *platform, audio_devices_t out_device)  in platform_get_input_snd_device()
1875 int platform_set_hdmi_channels(void *platform,  int channel_count)  in platform_set_hdmi_channels()
1909 int platform_edid_get_max_channels(void *platform)  in platform_edid_get_max_channels()
1964 int platform_set_incall_recording_session_id(void *platform,  in platform_set_incall_recording_session_id()
2009 int platform_set_parameters(void *platform, struct str_parms *parms)  in platform_set_parameters()