Home
last modified time | relevance | path

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

/trusty/kernel/lib/trusty/
Ductx.c502 user_addr_t user_event, in _wait_for_uevent()
529 user_addr_t user_event, in sys_wait()
555 long __SYSCALL sys_wait_any(user_addr_t user_event, uint32_t timeout_msecs) { in sys_wait_any()
796 user_addr_t user_event) { in sys_handle_set_ctrl()
870 user_addr_t user_event, in sys_wait()
875 long __SYSCALL sys_wait_any(user_addr_t user_event, in sys_wait_any()
894 user_addr_t user_event) { in sys_handle_set_ctrl()