1 /*- 2 * Copyright (c) 2018 VMware, Inc. 3 * 4 * SPDX-License-Identifier: (BSD-2-Clause OR GPL-2.0) 5 * 6 * $FreeBSD$ 7 */ 8 9 /* Kernel API (current) exported from the VMCI guest driver. */ 10 11 #ifndef _VMCI_KERNEL_API_H_ 12 #define _VMCI_KERNEL_API_H_ 13 14 /* With this file you always get the latest version. */ 15 #include "vmci_kernel_api_1.h" 16 #include "vmci_kernel_api_2.h" 17 18 #endif /* !_VMCI_KERNEL_API_H_ */ 19