| # HwBinder IPC from client to server, and callbacks | |
| binder_call(hal_secure_element_client, hal_secure_element_server) | |
| binder_call(hal_secure_element_server, hal_secure_element_client) | |
| hal_attribute_hwservice(hal_secure_element, hal_secure_element_hwservice) | |
| hal_attribute_service(hal_secure_element, hal_secure_element_service) | |
| binder_use(hal_secure_element_server) | |
| allow hal_secure_element_client hal_secure_element_service:service_manager find; |