diff --git a/public/hal_audio.te b/public/hal_audio.te
index c5a6b9d2fd8a4bc4175f4fdb817330f1197e9b98..6a436bd8e0edb4fa169d7c41578efa92d9c095a7 100644
--- a/public/hal_audio.te
+++ b/public/hal_audio.te
@@ -13,6 +13,7 @@ userdebug_or_eng(`
   allow hal_audio audiohal_data_file:file create_file_perms;
 ')
 
+r_dir_file(hal_audio, proc)
 r_dir_file(hal_audio, proc_asound)
 allow hal_audio audio_device:dir r_dir_perms;
 allow hal_audio audio_device:chr_file rw_file_perms;