Searched refs:tidl_get_channel (Results 1 – 1 of 1) sorted by relevance
71 static __inline__ struct trusty_ipc_chan* tidl_get_channel(handle_t fd) { in tidl_get_channel() function162 struct trusty_ipc_chan* chan = tidl_get_channel(fd); in tidl_chan_close()178 struct trusty_ipc_chan* chan = tidl_get_channel(INVALID_IPC_HANDLE); in connect()202 struct trusty_ipc_chan* chan = tidl_get_channel(fd); in send_iovs()230 struct trusty_ipc_chan* chan = tidl_get_channel(fd); in recv_iovs()