trusty-ipc: Add support for default Trusty IPC device
If particular Trusty IPC device to operate on is not
important caller can pass NULL for dev parameter to
tipc_create_channel routine to access default Trusty IPC
device.
Change-Id: Ib35f44f87ee9d71f827263c6a667a5852d4286e6
Signed-off-by:
Michael Ryleev <gmar@google.com>
Loading
Please sign in to comment