Home
last modified time | relevance | path

Searched defs:server_cap (Results 1 – 4 of 4) sorted by relevance

/base/tee/tee_os_kernel/user/system-services/system-servers/procmgr/
Dsrvmgr.c291 cap_t server_cap; in handle_get_server_cap() local
/base/tee/tee_os_kernel/kernel/ipc/
Dconnection.c463 cap_t sys_register_client(cap_t server_cap, unsigned long shm_config_ptr) in sys_register_client()
/base/tee/tee_os_kernel/user/chcore-libs/sys-libs/libohtee/
Dipclib.c40 cap_t server_cap; in __conn_server() local
/base/tee/tee_os_kernel/user/system-services/chcore-libc/libchcore/porting/overrides/src/chcore-port/
Dsyscall.c140 cap_t usys_register_client(cap_t server_cap, unsigned long vm_config_ptr) in usys_register_client()