Searched defs:handle_id (Results 1 – 4 of 4) sorted by relevance
| /trusty/kernel/lib/trusty/ |
| D | uctx.c | 140 static int _check_handle_id(struct uctx* ctx, handle_id_t handle_id) { in _check_handle_id()
410 handle_id_t handle_id, in uctx_handle_get_tmp_ref()
446 handle_id_t handle_id, in uctx_handle_get()
467 handle_id_t handle_id, in uctx_handle_remove()
528 long __SYSCALL sys_wait(uint32_t handle_id, in sys_wait()
608 long __SYSCALL sys_close(uint32_t handle_id) { in sys_close()
621 long __SYSCALL sys_set_cookie(uint32_t handle_id, user_addr_t cookie) { in sys_set_cookie()
869 long __SYSCALL sys_wait(uint32_t handle_id, in sys_wait()
880 long __SYSCALL sys_close(uint32_t handle_id) { in sys_close()
884 long __SYSCALL sys_set_cookie(uint32_t handle_id, user_addr_t cookie) { in sys_set_cookie()
|
| D | ipc_msg.c | 528 long __SYSCALL sys_send_msg(uint32_t handle_id, user_addr_t user_msg) { in sys_send_msg()
578 long __SYSCALL sys_get_msg(uint32_t handle_id, user_addr_t user_msg_info) { in sys_get_msg()
634 long __SYSCALL sys_put_msg(uint32_t handle_id, uint32_t msg_id) { in sys_put_msg()
733 long __SYSCALL sys_read_msg(uint32_t handle_id, in sys_read_msg()
802 long __SYSCALL sys_send_msg(uint32_t handle_id, user_addr_t user_msg) { in sys_send_msg()
806 long __SYSCALL sys_get_msg(uint32_t handle_id, user_addr_t user_msg_info) { in sys_get_msg()
810 long __SYSCALL sys_put_msg(uint32_t handle_id, uint32_t msg_id) { in sys_put_msg()
814 long __SYSCALL sys_read_msg(uint32_t handle_id, in sys_read_msg()
|
| D | ipc.c | 423 handle_id_t handle_id; in sys_port_create() local
901 handle_id_t handle_id; in sys_connect() local
1050 long __SYSCALL sys_accept(uint32_t handle_id, user_addr_t user_uuid) { in sys_accept()
1101 long __SYSCALL sys_accept(uint32_t handle_id, uuid_t* peer_uuid) { in sys_accept()
|
| D | syscall.c | 254 uint32_t handle_id) { in sys_mmap()
|