diff options
Diffstat (limited to 'sys/linux')
| -rw-r--r-- | sys/linux/vmw_vmci.txt | 130 | ||||
| -rw-r--r-- | sys/linux/vmw_vmci.txt.const | 46 |
2 files changed, 176 insertions, 0 deletions
diff --git a/sys/linux/vmw_vmci.txt b/sys/linux/vmw_vmci.txt new file mode 100644 index 000000000..e1afdfabf --- /dev/null +++ b/sys/linux/vmw_vmci.txt @@ -0,0 +1,130 @@ +# Copyright 2020 syzkaller project authors. All rights reserved. +# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. + +include <linux/ioctl.h> +include <linux/vmw_vmci_defs.h> + +resource fd_vmci[fd] + +openat$vmci(fd const[AT_FDCWD], file ptr[in, string["/dev/vmci"]], flags const[O_RDWR], mode const[0]) fd_vmci + +ioctl$IOCTL_VMCI_INIT_CONTEXT(fd fd_vmci, cmd const[IOCTL_VMCI_INIT_CONTEXT], arg ptr[in, vmci_init_blk]) +ioctl$IOCTL_VMCI_DATAGRAM_SEND(fd fd_vmci, cmd const[IOCTL_VMCI_DATAGRAM_SEND], arg ptr[in, vmci_datagram_snd_rcv_info]) +ioctl$IOCTL_VMCI_DATAGRAM_RECEIVE(fd fd_vmci, cmd const[IOCTL_VMCI_DATAGRAM_RECEIVE], arg ptr[in, vmci_datagram_snd_rcv_info]) +ioctl$IOCTL_VMCI_QUEUEPAIR_ALLOC(fd fd_vmci, cmd const[IOCTL_VMCI_QUEUEPAIR_ALLOC], arg ptr[in, vmci_qp_alloc_info]) +ioctl$IOCTL_VMCI_QUEUEPAIR_SETVA(fd fd_vmci, cmd const[IOCTL_VMCI_QUEUEPAIR_SETVA], arg ptr[in, vmci_qp_set_va_info]) +ioctl$IOCTL_VMCI_QUEUEPAIR_SETPF(fd fd_vmci, cmd const[IOCTL_VMCI_QUEUEPAIR_SETPAGEFILE], arg ptr[in, vmci_qp_page_file_info]) +ioctl$IOCTL_VMCI_QUEUEPAIR_DETACH(fd fd_vmci, cmd const[IOCTL_VMCI_QUEUEPAIR_DETACH], arg ptr[in, vmci_qp_dtch_info]) +ioctl$IOCTL_VMCI_CTX_ADD_NOTIFICATION(fd fd_vmci, cmd const[IOCTL_VMCI_CTX_ADD_NOTIFICATION], arg ptr[in, vmci_ctx_info]) +ioctl$IOCTL_VMCI_CTX_REMOVE_NOTIFICATION(fd fd_vmci, cmd const[IOCTL_VMCI_CTX_REMOVE_NOTIFICATION], arg ptr[in, vmci_ctx_info]) +ioctl$IOCTL_VMCI_CTX_GET_CPT_STATE(fd fd_vmci, cmd const[IOCTL_VMCI_CTX_GET_CPT_STATE], arg ptr[in, vmci_ctx_chkpt_buf_info]) +ioctl$IOCTL_VMCI_CTX_SET_CPT_STATE(fd fd_vmci, cmd const[IOCTL_VMCI_CTX_SET_CPT_STATE], arg ptr[in, vmci_ctx_chkpt_buf_info]) +ioctl$IOCTL_VMCI_GET_CONTEXT_ID(fd fd_vmci, cmd const[IOCTL_VMCI_GET_CONTEXT_ID], arg ptr[out, int32]) +ioctl$IOCTL_VMCI_SET_NOTIFY(fd fd_vmci, cmd const[IOCTL_VMCI_SET_NOTIFY], arg ptr[in, vmci_set_notify_info]) +ioctl$IOCTL_VMCI_NOTIFY_RESOURCE(fd fd_vmci, cmd const[IOCTL_VMCI_NOTIFY_RESOURCE], arg ptr[in, vmci_dbell_notify_resource_info]) +ioctl$IOCTL_VMCI_NOTIFICATIONS_RECEIVE(fd fd_vmci, cmd const[IOCTL_VMCI_NOTIFICATIONS_RECEIVE], arg ptr[in, vmci_ctx_notify_recv_info]) +ioctl$IOCTL_VMCI_VERSION(fd fd_vmci, cmd const[IOCTL_VMCI_VERSION], arg ptr[in, flags[vmci_version, int32]]) +ioctl$IOCTL_VMCI_VERSION2(fd fd_vmci, cmd const[IOCTL_VMCI_VERSION2], arg ptr[in, flags[vmci_version, int32]]) + +vmci_init_blk { + cid vmaddr_cid + flags flags[vmci_privilege, int32] +} + +vmci_handle { + context vmaddr_cid + rsc int32 +} + +vmci_datagram { + dst vmci_handle + src vmci_handle + payload_size len[payload, int64] + payload array[int8, 1024] +} + +vmci_datagram_snd_rcv_info { + addr ptr[in, vmci_datagram] + len len[addr, int32] + result int32 +} + +vmci_qp_alloc_info { + handle vmci_handle + peer vmaddr_cid + flags flags[vmci_qp, int32] + produce_size int64 + consume_size int64 + ppn_va int64 + num_ppns int64 + result int32 + version int32 +} + +vmci_qp_set_va_info { + handle vmci_handle + va int64 + num_ppns int64 + version int32 + result int32 +} + +vmci_qp_page_file_info { + handle vmci_handle + produce_page_file int64 + consume_page_file int64 + produce_page_file_size int64 + consume_page_file_size int64 + result int32 + version int32 + produce_va int64 + consume_va int64 +} + +vmci_qp_dtch_info { + handle vmci_handle + result int32 + _pad int32 +} + +vmci_ctx_info { + remote_cid vmaddr_cid + result int32 +} + +vmci_ctx_chkpt_buf_info { + cpt_buf ptr[in, array[int32, 1024]] + cpt_type flags[vmci_cpt_state, int32] + buf_size len[cpt_buf, int32] + result int32 + _pad int32 +} + +vmci_set_notify_info { + notify_uva int64 + result int32 + _pad int32 +} + +vmci_dbell_notify_resource_info { + handle vmci_handle + rsc flags[vmci_notify_resource, int16] + action flags[vmci_notify_action, int16] + result int32 +} + +vmci_ctx_notify_recv_info { + db_handle_buf_uva int64 + db_handle_buf_size int64 + qp_handle_buf_uva int64 + qp_handle_buf_size int64 + result int32 + _pad int32 +} + +vmci_privilege = VMCI_NO_PRIVILEGE_FLAGS, VMCI_PRIVILEGE_FLAG_RESTRICTED, VMCI_PRIVILEGE_FLAG_TRUSTED +vmci_qp = VMCI_QPFLAG_ATTACH_ONLY, VMCI_QPFLAG_LOCAL, VMCI_QPFLAG_NONBLOCK, VMCI_QPFLAG_PINNED +vmci_version = VMCI_VERSION_NOVMVM, VMCI_VERSION_NOTIFY, VMCI_VERSION_HOSTQP, VMCI_VERSION_PREHOSTQP, VMCI_VERSION_PREVERS2 +vmci_cpt_state = VMCI_NOTIFICATION_CPT_STATE, VMCI_WELLKNOWN_CPT_STATE, VMCI_DG_OUT_STATE, VMCI_DG_IN_STATE, VMCI_DG_IN_SIZE_STATE, VMCI_DOORBELL_CPT_STATE +vmci_notify_resource = VMCI_NOTIFY_RESOURCE_QUEUE_PAIR, VMCI_NOTIFY_RESOURCE_DOOR_BELL +vmci_notify_action = VMCI_NOTIFY_RESOURCE_ACTION_NOTIFY, VMCI_NOTIFY_RESOURCE_ACTION_CREATE, VMCI_NOTIFY_RESOURCE_ACTION_DESTROY diff --git a/sys/linux/vmw_vmci.txt.const b/sys/linux/vmw_vmci.txt.const new file mode 100644 index 000000000..235d1e66c --- /dev/null +++ b/sys/linux/vmw_vmci.txt.const @@ -0,0 +1,46 @@ +# Code generated by syz-sysgen. DO NOT EDIT. +arches = 386, amd64, arm, arm64, mips64le, ppc64le, riscv64, s390x +AT_FDCWD = 18446744073709551516 +IOCTL_VMCI_CTX_ADD_NOTIFICATION = 1967, mips64le:ppc64le:536872879 +IOCTL_VMCI_CTX_GET_CPT_STATE = 1969, mips64le:ppc64le:536872881 +IOCTL_VMCI_CTX_REMOVE_NOTIFICATION = 1968, mips64le:ppc64le:536872880 +IOCTL_VMCI_CTX_SET_CPT_STATE = 1970, mips64le:ppc64le:536872882 +IOCTL_VMCI_DATAGRAM_RECEIVE = 1964, mips64le:ppc64le:536872876 +IOCTL_VMCI_DATAGRAM_SEND = 1963, mips64le:ppc64le:536872875 +IOCTL_VMCI_GET_CONTEXT_ID = 1971, mips64le:ppc64le:536872883 +IOCTL_VMCI_INIT_CONTEXT = 1952, mips64le:ppc64le:536872864 +IOCTL_VMCI_NOTIFICATIONS_RECEIVE = 1958, mips64le:ppc64le:536872870 +IOCTL_VMCI_NOTIFY_RESOURCE = 1957, mips64le:ppc64le:536872869 +IOCTL_VMCI_QUEUEPAIR_ALLOC = 1960, mips64le:ppc64le:536872872 +IOCTL_VMCI_QUEUEPAIR_DETACH = 1962, mips64le:ppc64le:536872874 +IOCTL_VMCI_QUEUEPAIR_SETPAGEFILE = 1961, mips64le:ppc64le:536872873 +IOCTL_VMCI_QUEUEPAIR_SETVA = 1956, mips64le:ppc64le:536872868 +IOCTL_VMCI_SET_NOTIFY = 1995, mips64le:ppc64le:536872907 +IOCTL_VMCI_VERSION = 1951, mips64le:ppc64le:536872863 +IOCTL_VMCI_VERSION2 = 1959, mips64le:ppc64le:536872871 +O_RDWR = 2 +VMCI_DG_IN_SIZE_STATE = 5 +VMCI_DG_IN_STATE = 4 +VMCI_DG_OUT_STATE = 3 +VMCI_DOORBELL_CPT_STATE = 6 +VMCI_NOTIFICATION_CPT_STATE = 1 +VMCI_NOTIFY_RESOURCE_ACTION_CREATE = 1 +VMCI_NOTIFY_RESOURCE_ACTION_DESTROY = 2 +VMCI_NOTIFY_RESOURCE_ACTION_NOTIFY = 0 +VMCI_NOTIFY_RESOURCE_DOOR_BELL = 1 +VMCI_NOTIFY_RESOURCE_QUEUE_PAIR = 0 +VMCI_NO_PRIVILEGE_FLAGS = 0 +VMCI_PRIVILEGE_FLAG_RESTRICTED = 1 +VMCI_PRIVILEGE_FLAG_TRUSTED = 2 +VMCI_QPFLAG_ATTACH_ONLY = 1 +VMCI_QPFLAG_LOCAL = 2 +VMCI_QPFLAG_NONBLOCK = 4 +VMCI_QPFLAG_PINNED = 8 +VMCI_VERSION_HOSTQP = 589824 +VMCI_VERSION_NOTIFY = 655360 +VMCI_VERSION_NOVMVM = 720896 +VMCI_VERSION_PREHOSTQP = 524288 +VMCI_VERSION_PREVERS2 = 65536 +VMCI_WELLKNOWN_CPT_STATE = 2 +__NR_ioctl = 54, amd64:16, arm64:riscv64:29, mips64le:5015 +__NR_openat = 56, 386:295, amd64:257, arm:322, mips64le:5247, ppc64le:286, s390x:288 |