163a93856SMark Peek /*- 2*3eeb7511SMark Peek * Copyright (c) 2018 VMware, Inc. 363a93856SMark Peek * 48c302b2eSMark Peek * SPDX-License-Identifier: (BSD-2-Clause OR GPL-2.0) 563a93856SMark Peek */ 663a93856SMark Peek 763a93856SMark Peek /* Kernel API (current) exported from the VMCI guest driver. */ 863a93856SMark Peek 963a93856SMark Peek #ifndef _VMCI_KERNEL_API_H_ 1063a93856SMark Peek #define _VMCI_KERNEL_API_H_ 1163a93856SMark Peek 1263a93856SMark Peek /* With this file you always get the latest version. */ 1363a93856SMark Peek #include "vmci_kernel_api_1.h" 1463a93856SMark Peek #include "vmci_kernel_api_2.h" 1563a93856SMark Peek 1663a93856SMark Peek #endif /* !_VMCI_KERNEL_API_H_ */ 17