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  * $FreeBSD$
763a93856SMark Peek  */
863a93856SMark Peek 
963a93856SMark Peek /* Kernel API (current) exported from the VMCI guest driver. */
1063a93856SMark Peek 
1163a93856SMark Peek #ifndef _VMCI_KERNEL_API_H_
1263a93856SMark Peek #define _VMCI_KERNEL_API_H_
1363a93856SMark Peek 
1463a93856SMark Peek /* With this file you always get the latest version. */
1563a93856SMark Peek #include "vmci_kernel_api_1.h"
1663a93856SMark Peek #include "vmci_kernel_api_2.h"
1763a93856SMark Peek 
1863a93856SMark Peek #endif /* !_VMCI_KERNEL_API_H_ */
19