Searched refs:user_event (Results 1 – 1 of 1) sorted by relevance
| /trusty/kernel/lib/trusty/ |
| D | uctx.c | 502 user_addr_t user_event, in _wait_for_uevent() argument
517 ret = copy_to_user(user_event, &uevent, sizeof(uevent)); in _wait_for_uevent()
529 user_addr_t user_event, in sys_wait() argument
545 ret = _wait_for_uevent(&target, user_event, timeout_msecs); in sys_wait()
555 long __SYSCALL sys_wait_any(user_addr_t user_event, uint32_t timeout_msecs) { in sys_wait_any() argument
572 ret = _wait_for_uevent(&target, user_event, timeout_msecs); in sys_wait_any()
796 user_addr_t user_event) { in sys_handle_set_ctrl() argument
801 ret = copy_from_user(&uevent, user_event, sizeof(uevent)); in sys_handle_set_ctrl()
870 user_addr_t user_event, in sys_wait() argument
875 long __SYSCALL sys_wait_any(user_addr_t user_event, in sys_wait_any() argument
[all …]
|