Home
last modified time | relevance | path

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

/trusty/kernel/lib/trusty/
Dipc_msg.c578 long __SYSCALL sys_get_msg(uint32_t handle_id, user_addr_t user_msg_info) { in sys_get_msg()
806 long __SYSCALL sys_get_msg(uint32_t handle_id, user_addr_t user_msg_info) { in sys_get_msg()