Home
last modified time | relevance | path

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

/trusty/kernel/lib/trusty/
Ductx.c140 static int _check_handle_id(struct uctx* ctx, handle_id_t handle_id) { in _check_handle_id() function
418 ret = _check_handle_id(ctx, handle_id); in uctx_handle_get_tmp_ref()
475 ret = _check_handle_id(ctx, handle_id); in uctx_handle_remove()
636 ret = _check_handle_id(ctx, handle_id); in sys_set_cookie()
763 hset_idx = _check_handle_id(ctx, hset_id); in _hset_ctrl_locked()
767 h_idx = _check_handle_id(ctx, h_id); in _hset_ctrl_locked()