| type hal_gatekeeper_qti, domain; |
| hal_server_domain(hal_gatekeeper_qti, hal_gatekeeper) |
| |
| type hal_gatekeeper_qti_exec, exec_type, vendor_file_type, file_type; |
| init_daemon_domain(hal_gatekeeper_qti) |
| |
| allow hal_gatekeeper_qti sp_keymaster_device:chr_file rw_file_perms; |
| allow hal_gatekeeper_qti sp_ssr_device:chr_file rw_file_perms; |
| allow hal_gatekeeper_qti skp_device:chr_file rw_file_perms; |
| allow hal_gatekeeper_qti spcom_device:chr_file rw_file_perms; |
| |
| get_prop(hal_gatekeeper_qti, vendor_tee_listener_prop) |
| get_prop(hal_gatekeeper_qti, spcomlib_prop) |
| get_prop(hal_gatekeeper_qti, vendor_disable_spu_prop) |
