Home
last modified time | relevance | path

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

/trusty/kernel/lib/trusty/
Ductx.c128 struct uctx* current_uctx(void) { in current_uctx() function
533 struct uctx* ctx = current_uctx(); in sys_wait()
559 struct uctx* ctx = current_uctx(); in sys_wait_any()
583 struct uctx* ctx = current_uctx(); in sys_dup()
613 int ret = uctx_handle_remove(current_uctx(), handle_id, &handle); in sys_close()
624 struct uctx* ctx = current_uctx(); in sys_set_cookie()
666 struct uctx* ctx = current_uctx(); in sys_handle_set_create()
759 struct uctx* ctx = current_uctx(); in _hset_ctrl_locked()
799 struct uctx* ctx = current_uctx(); in sys_handle_set_ctrl()
817 struct uctx* ctx = current_uctx(); in uctx_handle_writev()
[all …]
Dsyscall.c321 ret = uctx_handle_get(current_uctx(), handle_id, &handle); in sys_mmap()
469 int rc_uctx = uctx_handle_install(current_uctx(), handle, &id); in sys_memref_create()
Dipc_msg.c532 struct uctx* uctx = current_uctx(); in sys_send_msg()
584 ret = uctx_handle_get(current_uctx(), handle_id, &chandle); in sys_get_msg()
638 int ret = uctx_handle_get(current_uctx(), handle_id, &chandle); in sys_put_msg()
740 struct uctx* uctx = current_uctx(); in sys_read_msg()
Dipc.c420 struct uctx* ctx = current_uctx(); in sys_port_create()
897 struct uctx* ctx = current_uctx(); in sys_connect()
1051 struct uctx* ctx = current_uctx(); in sys_accept()
/trusty/kernel/lib/trusty/include/lib/trusty/
Ductx.h42 struct uctx* current_uctx(void);