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/* VMCI driver interface. */
10
11#ifndef _VMCI_DRIVER_H_
12#define _VMCI_DRIVER_H_
13
14#include <sys/types.h>
15#include <sys/syslog.h>
16#include <sys/systm.h>
17
18#include "vmci_call_defs.h"
19#include "vmci_kernel_if.h"
20
21#ifndef VMCI_DEBUG_LOGGING
22#define VMCI_LOG_DEBUG(_args, ...)
23#else /* VMCI_DEBUG_LOGGING */
24#define VMCI_LOG_DEBUG(_args, ...)					\
25	log(LOG_DEBUG, _args, ##__VA_ARGS__)
26#endif /* !VMCI_DEBUG_LOGGING */
27#define VMCI_LOG_INFO(_args, ...)					\
28	log(LOG_INFO, _args, ##__VA_ARGS__)
29#define VMCI_LOG_WARNING(_args, ...)					\
30	log(LOG_WARNING, _args, ##__VA_ARGS__)
31#define VMCI_LOG_ERROR(_args, ...)					\
32	log(LOG_ERR, _args, ##__VA_ARGS__)
33
34int	vmci_components_init(void);
35void	vmci_components_cleanup(void);
36int	vmci_send_datagram(struct vmci_datagram *dg);
37
38void	vmci_util_init(void);
39void	vmci_util_exit(void);
40bool	vmci_check_host_capabilities(void);
41void	vmci_read_datagrams_from_port(vmci_io_handle io_handle,
42	    vmci_io_port dg_in_port, uint8_t *dg_in_buffer,
43	    size_t dg_in_buffer_size);
44
45#endif /* !_VMCI_DRIVER_H_ */
46