| ## | |
| # Trustonic TeeService | |
| # | |
| binder_call(hal_teeregistry_client, hal_teeregistry_server) | |
| binder_call(hal_teeregistry_server, hal_teeregistry_client) | |
| add_hwservice(hal_teeregistry_server, hal_teeregistry_hwservice) | |
| allow hal_teeregistry_client hal_teeregistry_hwservice:hwservice_manager find; |