2 * Copyright (c) 2018 VMware, Inc. All Rights Reserved.
4 * SPDX-License-Identifier: (BSD-2-Clause OR GPL-2.0)
9 /* Kernel API (current) exported from the VMCI guest driver. */
11 #ifndef _VMCI_KERNEL_API_H_
12 #define _VMCI_KERNEL_API_H_
14 /* With this file you always get the latest version. */
15 #include "vmci_kernel_api_1.h"
16 #include "vmci_kernel_api_2.h"
18 #endif /* !_VMCI_KERNEL_API_H_ */