Home
last modified time | relevance | path

Searched refs:ipc_is_channel (Results 1 – 4 of 4) sorted by relevance

/trusty/kernel/lib/trusty/include/lib/trusty/
Dipc.h175 bool ipc_is_channel(struct handle* handle);
/trusty/kernel/lib/trusty/
Dipc.c85 bool ipc_is_channel(struct handle* handle) { in ipc_is_channel() function
644 DEBUG_ASSERT(ipc_is_channel(chandle)); in chan_handle_destroy()
662 DEBUG_ASSERT(ipc_is_channel(chandle)); in chan_poll()
Dipc_msg.c181 if (unlikely(!ipc_is_channel(chandle))) in check_channel()
Dtipc_virtio_dev.c1005 DEBUG_ASSERT(ipc_is_channel(chan)); in handle_tx()