Home
last modified time | relevance | path

Searched defs:user_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()
736 user_addr_t user_msg) { in sys_read_msg()
802 long __SYSCALL sys_send_msg(uint32_t handle_id, user_addr_t user_msg) { in sys_send_msg()
817 user_addr_t user_msg) { in sys_read_msg()