Home
last modified time | relevance | path

Searched refs:__SYSCALL (Results 1 – 4 of 4) sorted by relevance

/trusty/kernel/lib/syscall/include/lib/
Dsyscall.h27 #define __SYSCALL macro
/trusty/kernel/lib/trusty/
Ductx.c528 long __SYSCALL sys_wait(uint32_t handle_id, in sys_wait()
555 long __SYSCALL sys_wait_any(user_addr_t user_event, uint32_t timeout_msecs) { in sys_wait_any()
580 long __SYSCALL sys_dup(uint32_t old_handle_id) { in sys_dup()
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()
662 long __SYSCALL sys_handle_set_create(void) { in sys_handle_set_create()
794 long __SYSCALL sys_handle_set_ctrl(handle_id_t hset_id, in sys_handle_set_ctrl()
869 long __SYSCALL sys_wait(uint32_t handle_id, in sys_wait()
875 long __SYSCALL sys_wait_any(user_addr_t user_event, in sys_wait_any()
880 long __SYSCALL sys_close(uint32_t handle_id) { in sys_close()
[all …]
Dipc_msg.c528 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()
Dipc.c415 long __SYSCALL sys_port_create(user_addr_t path, in sys_port_create()
895 long __SYSCALL sys_connect(user_addr_t path, uint32_t flags) { in sys_connect()
1050 long __SYSCALL sys_accept(uint32_t handle_id, user_addr_t user_uuid) { in sys_accept()
1090 long __SYSCALL sys_port_create(user_addr_t path, in sys_port_create()
1097 long __SYSCALL sys_connect(user_addr_t path, uint32_t flags) { in sys_connect()
1101 long __SYSCALL sys_accept(uint32_t handle_id, uuid_t* peer_uuid) { in sys_accept()