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