kernel: Add map permission to the dev_{read, write}_sound* interfaces

sds already added it to dev_read_sound_mixer, but it's also needed in
the other interfaces.
This commit is contained in:
Luis Ressel 2017-09-12 04:11:16 +02:00 committed by Chris PeBenito
parent 095ad7923a
commit dfcdb40e6e
1 changed files with 3 additions and 0 deletions

View File

@ -3750,6 +3750,7 @@ interface(`dev_read_sound',`
') ')
read_chr_files_pattern($1, device_t, sound_device_t) read_chr_files_pattern($1, device_t, sound_device_t)
allow $1 sound_device_t:chr_file map;
') ')
######################################## ########################################
@ -3768,6 +3769,7 @@ interface(`dev_write_sound',`
') ')
write_chr_files_pattern($1, device_t, sound_device_t) write_chr_files_pattern($1, device_t, sound_device_t)
allow $1 sound_device_t:chr_file map;
') ')
######################################## ########################################
@ -3805,6 +3807,7 @@ interface(`dev_write_sound_mixer',`
') ')
write_chr_files_pattern($1, device_t, sound_device_t) write_chr_files_pattern($1, device_t, sound_device_t)
allow $1 sound_device_t:chr_file map;
') ')
######################################## ########################################