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