Searched refs:hids (Results 1 – 1 of 1) sorted by relevance
| /trusty/kernel/lib/trusty/ |
| D | ipc_msg.c | 686 handle_id_t* hids, in user_remove_multiple() argument
689 uctx_handle_remove(uctx, hids[i], NULL); in user_remove_multiple()
694 handle_id_t* hids, in user_install_multiple() argument
697 int rc = uctx_handle_install(uctx, hptrs[i], &hids[i]); in user_install_multiple()
699 user_remove_multiple(uctx, hids, i); in user_install_multiple()
711 handle_id_t hids[MAX_MSG_HANDLES]; in user_return_handles() local
719 rc = user_install_multiple(uctx, hptrs, hids, hcnt); in user_return_handles()
724 rc = copy_to_user(uhptrs, hids, hcnt * sizeof(handle_id_t)); in user_return_handles()
727 user_remove_multiple(uctx, hids, hcnt); in user_return_handles()
|