Home
last modified time | relevance | path

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

/trusty/kernel/lib/trusty/
Ductx.c580 long __SYSCALL sys_dup(uint32_t old_handle_id) { in sys_dup() argument
586 LTRACEF("[%p][%d]\n", current_trusty_thread(), old_handle_id); in sys_dup()
588 rc = uctx_handle_get(ctx, (handle_id_t)old_handle_id, &h); in sys_dup()