Home
last modified time | relevance | path

Searched defs:server_thread_cap (Results 1 – 2 of 2) sorted by relevance

/base/tee/tee_os_kernel/user/system-services/chcore-libc/libchcore/porting/overrides/src/chcore-port/
Dipc.c228 void ipc_register_cb_return(cap_t server_thread_cap, in ipc_register_cb_return()
239 cap_t server_thread_cap = 0; in register_cb() local
344 ipc_struct_t *ipc_register_client(cap_t server_thread_cap) in ipc_register_client()
Dsyscall.c158 void usys_ipc_register_cb_return(cap_t server_thread_cap, in usys_ipc_register_cb_return()