Searched refs:handle_set_cookie (Results 1 – 3 of 3) sorted by relevance
| /trusty/kernel/lib/trusty/include/lib/trusty/ |
| D | handle.h | 175 static inline void handle_set_cookie(struct handle* handle, void* cookie) { in handle_set_cookie() function
|
| /trusty/kernel/lib/trusty/ |
| D | tipc_dev_ql.c | 316 handle_set_cookie(ept->chan, NULL); in dev_shutdown()
375 handle_set_cookie(chan, ept_lookup(dev, local)); in dev_connect()
421 handle_set_cookie(ept->chan, NULL); in dev_disconnect()
|
| D | tipc_virtio_dev.c | 428 handle_set_cookie(chan, lookup_ept(dev, local)); in handle_conn_req()
479 handle_set_cookie(chan, NULL); in handle_disc_req()
943 handle_set_cookie(chan, NULL); in handle_hup()
1076 handle_set_cookie(ept->chan, NULL); in tipc_dev_reset()
|