Home
last modified time | relevance | path

Searched refs:handle_id (Results 1 – 5 of 5) 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() argument
152 if (unlikely(handle_id < ctx->handle_id_base)) { in _check_handle_id()
153 LTRACEF("%d is below handle base\n", handle_id); in _check_handle_id()
157 idx = handle_id - ctx->handle_id_base; in _check_handle_id()
159 LTRACEF("%d is invalid handle id\n", handle_id); in _check_handle_id()
164 LTRACEF("%d is unused handle id\n", handle_id); in _check_handle_id()
410 handle_id_t handle_id, in uctx_handle_get_tmp_ref() argument
418 ret = _check_handle_id(ctx, handle_id); in uctx_handle_get_tmp_ref()
424 out->id = handle_id; in uctx_handle_get_tmp_ref()
446 handle_id_t handle_id, in uctx_handle_get() argument
[all …]
Dipc_msg.c528 long __SYSCALL sys_send_msg(uint32_t handle_id, user_addr_t user_msg) { in sys_send_msg() argument
540 ret = uctx_handle_get(uctx, handle_id, &chandle); in sys_send_msg()
578 long __SYSCALL sys_get_msg(uint32_t handle_id, user_addr_t user_msg_info) { in sys_get_msg() argument
584 ret = uctx_handle_get(current_uctx(), handle_id, &chandle); in sys_get_msg()
634 long __SYSCALL sys_put_msg(uint32_t handle_id, uint32_t msg_id) { in sys_put_msg() argument
638 int ret = uctx_handle_get(current_uctx(), handle_id, &chandle); in sys_put_msg()
733 long __SYSCALL sys_read_msg(uint32_t handle_id, in sys_read_msg() argument
748 ret = uctx_handle_get(uctx, handle_id, &chandle); in sys_read_msg()
802 long __SYSCALL sys_send_msg(uint32_t handle_id, user_addr_t user_msg) { in sys_send_msg() argument
806 long __SYSCALL sys_get_msg(uint32_t handle_id, user_addr_t user_msg_info) { in sys_get_msg() argument
[all …]
Dipc.c423 handle_id_t handle_id; in sys_port_create() local
443 ret = uctx_handle_install(ctx, port_handle, &handle_id); in sys_port_create()
453 return (long)handle_id; in sys_port_create()
456 (void)uctx_handle_remove(ctx, handle_id, NULL); in sys_port_create()
901 handle_id_t handle_id; in sys_connect() local
964 ret = uctx_handle_install(ctx, chandle, &handle_id); in sys_connect()
972 return (long)handle_id; in sys_connect()
1050 long __SYSCALL sys_accept(uint32_t handle_id, user_addr_t user_uuid) { in sys_accept() argument
1058 ret = uctx_handle_get(ctx, handle_id, &phandle); in sys_accept()
1101 long __SYSCALL sys_accept(uint32_t handle_id, uuid_t* peer_uuid) { in sys_accept() argument
Dsyscall.c254 uint32_t handle_id) { in sys_mmap() argument
268 ret = trusty_app_setup_mmio(trusty_app, handle_id, &uaddr, size); in sys_mmap()
321 ret = uctx_handle_get(current_uctx(), handle_id, &handle); in sys_mmap()
/trusty/kernel/lib/trusty/include/lib/trusty/
Ductx.h48 handle_id_t handle_id,
51 handle_id_t handle_id,