Home
last modified time | relevance | path

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

/trusty/kernel/lib/trusty/
Dipc_msg.c528 long __SYSCALL sys_send_msg(uint32_t handle_id, user_addr_t user_msg) { in sys_send_msg() function
802 long __SYSCALL sys_send_msg(uint32_t handle_id, user_addr_t user_msg) { in sys_send_msg() function