Home
last modified time | relevance | path

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

/trusty/kernel/lib/trusty/include/lib/trusty/
Ductx.h35 typedef uint32_t handle_id_t; typedef
37 #define INVALID_HANDLE_ID ((handle_id_t)0xFFFFFFFF)
46 handle_id_t* id);
48 handle_id_t handle_id,
51 handle_id_t handle_id,
/trusty/kernel/lib/trusty/
Ductx.c73 handle_id_t handle_id_base;
140 static int _check_handle_id(struct uctx* ctx, handle_id_t handle_id) { in _check_handle_id()
368 handle_id_t* id) { in uctx_handle_install()
410 handle_id_t handle_id, in uctx_handle_get_tmp_ref()
446 handle_id_t handle_id, in uctx_handle_get()
467 handle_id_t handle_id, in uctx_handle_remove()
584 handle_id_t new_handle_id; in sys_dup()
588 rc = uctx_handle_get(ctx, (handle_id_t)old_handle_id, &h); in sys_dup()
664 handle_id_t id; in sys_handle_set_create()
752 static int _hset_ctrl_locked(handle_id_t hset_id, in _hset_ctrl_locked()
[all …]
Dipc_msg.c269 handle_id_t ids[MAX_MSG_HANDLES]; in user_msg_write_locked()
272 msg->num_handles * sizeof(handle_id_t)); in user_msg_write_locked()
686 handle_id_t* hids, in user_remove_multiple()
694 handle_id_t* hids, in user_install_multiple()
711 handle_id_t hids[MAX_MSG_HANDLES]; in user_return_handles()
724 rc = copy_to_user(uhptrs, hids, hcnt * sizeof(handle_id_t)); in user_return_handles()
Dipc.c423 handle_id_t handle_id; in sys_port_create()
901 handle_id_t handle_id; in sys_connect()
1055 handle_id_t new_id; in sys_accept()
Dsyscall.c461 handle_id_t id; in sys_memref_create()