| # HwBinder IPC from client to server | |
| binder_call(hal_allocator_client, hal_allocator_server) | |
| hal_attribute_hwservice(hal_allocator, hidl_allocator_hwservice) | |
| allow hal_allocator_client hidl_memory_hwservice:hwservice_manager find; | |
| allow hal_allocator_client same_process_hal_file:file { execute read open getattr map }; |