/*-
 * Copyright (c) 2018 VMware, Inc.
 *
 * SPDX-License-Identifier: (BSD-2-Clause OR GPL-2.0)
 *
 * $FreeBSD$
 */

/* Kernel API (current) exported from the VMCI guest driver. */

#ifndef _VMCI_KERNEL_API_H_
#define _VMCI_KERNEL_API_H_

/* With this file you always get the latest version. */
#include "vmci_kernel_api_1.h"
#include "vmci_kernel_api_2.h"

#endif /* !_VMCI_KERNEL_API_H_ */