type audio_socket, file_type;
type sound_device, dev_type;

set_prop(hal_audio_default, vendor_audio_prop)

allow hal_audio_default audio_socket:sock_file rw_file_perms;
allow hal_audio_default sound_device:chr_file rw_file_perms;