sys/dev/vmware/vmci/vmci_kernel_api.h

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