| type hal_radioext_default, domain; | |
| type hal_radioext_default_exec, vendor_file_type, exec_type, file_type; | |
| init_daemon_domain(hal_radioext_default) | |
| hwbinder_use(hal_radioext_default) | |
| get_prop(hal_radioext_default, hwservicemanager_prop) | |
| add_hwservice(hal_radioext_default, hal_radioext_hwservice) | |
| binder_call(hal_radioext_default, grilservice_app) | |
| # RW /dev/oem_ipc0 | |
| allow hal_radioext_default radio_device:chr_file rw_file_perms; |