Searched refs:uctx_handle_remove (Results 1 – 4 of 4) sorted by relevance
/trusty/kernel/lib/trusty/include/lib/trusty/ |
D | uctx.h | 47 int uctx_handle_remove(struct uctx* ctx,
|
/trusty/kernel/lib/trusty/ |
D | uctx.c | 466 int uctx_handle_remove(struct uctx* ctx, in uctx_handle_remove() function 613 int ret = uctx_handle_remove(current_uctx(), handle_id, &handle); in sys_close()
|
D | ipc.c | 456 (void)uctx_handle_remove(ctx, handle_id, NULL); in sys_port_create() 1080 uctx_handle_remove(ctx, new_id, NULL); in sys_accept()
|
D | ipc_msg.c | 689 uctx_handle_remove(uctx, hids[i], NULL); in user_remove_multiple()
|