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)