binder_call(rild, audioserver_service);
binder_call(rild, system_server);
set_prop(rild, diag_prop);
allow rild fsg_file:file { getattr open read };
allow rild fsg_file:dir { search open read };
allow rild fsg_file:lnk_file read;

allow rild rild_exec:file execute_no_trans;

allow rild fwk_sensor_hwservice:hwservice_manager find;