/*
 * VMware VMCI Driver
 *
 * Copyright (C) 2012 VMware, Inc. All rights reserved.
 *
 * This program is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License as published by the
 * Free Software Foundation version 2 and no later version.
 *
 * This program is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
 * or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * for more details.
 */

#ifndef _VMCI_DATAGRAM_H_
#define _VMCI_DATAGRAM_H_

#include <linux/types.h>
#include <linux/list.h>

#include "vmci_context.h"

#define VMCI_MAX_DELAYED_DG_HOST_QUEUE_SIZE 256

/*
 * The struct vmci_datagram_queue_entry is a queue header for the in-kernel VMCI
 * datagram queues. It is allocated in non-paged memory, as the
 * content is accessed while holding a spinlock. The pending datagram
 * itself may be allocated from paged memory. We shadow the size of
 * the datagram in the non-paged queue entry as this size is used
 * while holding the same spinlock as above.
 */
struct vmci_datagram_queue_entry {
	struct list_head list_item;	/* For queuing. */
	size_t dg_size;		/* Size of datagram. */
	struct vmci_datagram *dg;	/* Pending datagram. */
};

/* VMCIDatagramSendRecvInfo */
struct vmci_datagram_snd_rcv_info {
	u64 addr;
	u32 len;
	s32 result;
};

/* Datagram API for non-public use. */
int vmci_datagram_dispatch(u32 context_id, struct vmci_datagram *dg,
			   bool from_guest);
int vmci_datagram_invoke_guest_handler(struct vmci_datagram *dg);

#endif /* _VMCI_DATAGRAM_H_ */