1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /*
3  * VMware VMCI Driver
4  *
5  * Copyright (C) 2012 VMware, Inc. All rights reserved.
6  */
7 
8 #ifndef _VMCI_DATAGRAM_H_
9 #define _VMCI_DATAGRAM_H_
10 
11 #include <linux/types.h>
12 #include <linux/list.h>
13 
14 #include "vmci_context.h"
15 
16 #define VMCI_MAX_DELAYED_DG_HOST_QUEUE_SIZE 256
17 
18 /*
19  * The struct vmci_datagram_queue_entry is a queue header for the in-kernel VMCI
20  * datagram queues. It is allocated in non-paged memory, as the
21  * content is accessed while holding a spinlock. The pending datagram
22  * itself may be allocated from paged memory. We shadow the size of
23  * the datagram in the non-paged queue entry as this size is used
24  * while holding the same spinlock as above.
25  */
26 struct vmci_datagram_queue_entry {
27 	struct list_head list_item;	/* For queuing. */
28 	size_t dg_size;		/* Size of datagram. */
29 	struct vmci_datagram *dg;	/* Pending datagram. */
30 };
31 
32 /* VMCIDatagramSendRecvInfo */
33 struct vmci_datagram_snd_rcv_info {
34 	u64 addr;
35 	u32 len;
36 	s32 result;
37 };
38 
39 /* Datagram API for non-public use. */
40 int vmci_datagram_dispatch(u32 context_id, struct vmci_datagram *dg,
41 			   bool from_guest);
42 int vmci_datagram_invoke_guest_handler(struct vmci_datagram *dg);
43 
44 #endif /* _VMCI_DATAGRAM_H_ */
45