tree 614abc682dc9d164f75511441118e1969b60d8f5
parent 5905c66d15412a6e0d82e3675fb5f01431040785
author Michael Ryleev <gmar@google.com> 1438285808 -0700
committer Michael Ryleev <gmar@google.com> 1458945630 -0700

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>