/* SPDX-License-Identifier: GPL-2.0-only */
/*
 * VMware VMCI Driver
 *
 * Copyright (C) 2012 VMware, Inc. All rights reserved.
 */

#ifndef _VMCI_RESOURCE_H_
#define _VMCI_RESOURCE_H_

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

#include "vmci_context.h"


enum vmci_resource_type {
        VMCI_RESOURCE_TYPE_ANY,
        VMCI_RESOURCE_TYPE_API,
        VMCI_RESOURCE_TYPE_GROUP,
        VMCI_RESOURCE_TYPE_DATAGRAM,
        VMCI_RESOURCE_TYPE_DOORBELL,
        VMCI_RESOURCE_TYPE_QPAIR_GUEST,
        VMCI_RESOURCE_TYPE_QPAIR_HOST
};

struct vmci_resource {
        struct vmci_handle handle;
        enum vmci_resource_type type;
        struct hlist_node node;
        struct kref kref;
        struct completion done;
};


int vmci_resource_add(struct vmci_resource *resource,
                      enum vmci_resource_type resource_type,
                      struct vmci_handle handle);

void vmci_resource_remove(struct vmci_resource *resource);

struct vmci_resource *
vmci_resource_by_handle(struct vmci_handle resource_handle,
                        enum vmci_resource_type resource_type);

struct vmci_resource *vmci_resource_get(struct vmci_resource *resource);
int vmci_resource_put(struct vmci_resource *resource);

struct vmci_handle vmci_resource_handle(struct vmci_resource *resource);

#endif /* _VMCI_RESOURCE_H_ */