Home
last modified time | relevance | path

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

/trusty/kernel/lib/trusty/
Ductx.c621 long __SYSCALL sys_set_cookie(uint32_t handle_id, user_addr_t cookie) { in sys_set_cookie() function
884 long __SYSCALL sys_set_cookie(uint32_t handle_id, user_addr_t cookie) { in sys_set_cookie() function