Home
last modified time | relevance | path

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

/trusty/kernel/lib/trusty/
Ductx.c55 #define IPC_HANDLE_ID_BASE 1000 macro
321 new_ctx->handle_id_base = IPC_HANDLE_ID_BASE; in uctx_create()
860 if (fd >= IPC_HANDLE_ID_BASE && in uctx_get_fd_ops()
861 fd < (IPC_HANDLE_ID_BASE + IPC_MAX_HANDLES)) { in uctx_get_fd_ops()