opnsense-src/sys/dev/vmware/vmci/vmci_kernel_api.h

/*-
 * Copyright (c) 2018 VMware, Inc.
 *
 * SPDX-License-Identifier: (BSD-2-Clause OR GPL-2.0)
 */

/* Kernel API (current) exported from the VMCI guest driver. */

#ifndef _VMCI_KERNEL_API_H_
#define _VMCI_KERNEL_API_H_

/* With this file you always get the latest version. */
#include "vmci_kernel_api_1.h"
#include "vmci_kernel_api_2.h"

#endif /* !_VMCI_KERNEL_API_H_ */
Add VMCI (Virtual Machine Communication Interface) driver In a virtual machine, VMCI is exposed as a regular PCI device. The primary communication mechanisms supported are a point-to-point bidirectional transport based on a pair of memory-mapped queues, and asynchronous notifications in the form of datagrams and doorbells. These features are available to kernel level components such as vSockets through the VMCI kernel API. In addition to this, the VMCI kernel API provides support for receiving events related to the state of the VMCI communication channels, and the virtual machine itself. Submitted by: Vishnu Dasa <vdasa@vmware.com> Reviewed by: bcr, imp Obtained from: VMware Differential Revision: https://reviews.freebsd.org/D14289 2018-03-24 20:57:00 -04:00			`/*-`
Update VMCI license based on comments from core, the FreeBSD Foundation, and VMware legal: - Add a dual BSD-2 Clause/GPLv2 LICENSE file in the VMCI directory - Remove the use of "All Rights Reserved" - Per best practice, remove copyright/license info from Makefile Reviewed by: imp, emaste, jhb, Vishnu Dasa <vdasa@vmware.com> Approved by: VMware legal via Mark Peek <markpeek@vmware.com> Differential Revision: https://reviews.freebsd.org/D14979 2018-04-07 21:32:56 -04:00			`* Copyright (c) 2018 VMware, Inc.`
Add VMCI (Virtual Machine Communication Interface) driver In a virtual machine, VMCI is exposed as a regular PCI device. The primary communication mechanisms supported are a point-to-point bidirectional transport based on a pair of memory-mapped queues, and asynchronous notifications in the form of datagrams and doorbells. These features are available to kernel level components such as vSockets through the VMCI kernel API. In addition to this, the VMCI kernel API provides support for receiving events related to the state of the VMCI communication channels, and the virtual machine itself. Submitted by: Vishnu Dasa <vdasa@vmware.com> Reviewed by: bcr, imp Obtained from: VMware Differential Revision: https://reviews.freebsd.org/D14289 2018-03-24 20:57:00 -04:00			`*`
Rectify VMCI SPDX license Approved by: Vishnu Dasa <vdasa@vmware.com> 2018-03-27 02:33:00 -04:00			`* SPDX-License-Identifier: (BSD-2-Clause OR GPL-2.0)`
Add VMCI (Virtual Machine Communication Interface) driver In a virtual machine, VMCI is exposed as a regular PCI device. The primary communication mechanisms supported are a point-to-point bidirectional transport based on a pair of memory-mapped queues, and asynchronous notifications in the form of datagrams and doorbells. These features are available to kernel level components such as vSockets through the VMCI kernel API. In addition to this, the VMCI kernel API provides support for receiving events related to the state of the VMCI communication channels, and the virtual machine itself. Submitted by: Vishnu Dasa <vdasa@vmware.com> Reviewed by: bcr, imp Obtained from: VMware Differential Revision: https://reviews.freebsd.org/D14289 2018-03-24 20:57:00 -04:00			`*/`

			`/* Kernel API (current) exported from the VMCI guest driver. */`

			`#ifndef _VMCI_KERNEL_API_H_`
			`#define _VMCI_KERNEL_API_H_`

			`/* With this file you always get the latest version. */`
			`#include "vmci_kernel_api_1.h"`
			`#include "vmci_kernel_api_2.h"`

			`#endif /* !_VMCI_KERNEL_API_H_ */`