/*-
 * Copyright (c) 2018 VMware, Inc.
 *
 * SPDX-License-Identifier: (BSD-2-Clause OR GPL-2.0)
 *
 * $FreeBSD: releng/12.1/sys/dev/vmware/vmci/vmci_kernel_api.h 332263 2018-04-08 01:32:56Z mp $
 */

/* 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_ */