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_HANDLE_ARRAY_H_
9#define _VMCI_HANDLE_ARRAY_H_
10
11#include <linux/vmw_vmci_defs.h>
12#include <linux/limits.h>
13#include <linux/types.h>
14
15struct vmci_handle_arr {
16	u32 capacity;
17	u32 max_capacity;
18	u32 size;
19	u32 pad;
20	struct vmci_handle entries[] __counted_by(capacity);
21};
22
23/* Select a default capacity that results in a 64 byte sized array */
24#define VMCI_HANDLE_ARRAY_DEFAULT_CAPACITY			6
25
26struct vmci_handle_arr *vmci_handle_arr_create(u32 capacity, u32 max_capacity);
27void vmci_handle_arr_destroy(struct vmci_handle_arr *array);
28int vmci_handle_arr_append_entry(struct vmci_handle_arr **array_ptr,
29				 struct vmci_handle handle);
30struct vmci_handle vmci_handle_arr_remove_entry(struct vmci_handle_arr *array,
31						struct vmci_handle
32						entry_handle);
33struct vmci_handle vmci_handle_arr_remove_tail(struct vmci_handle_arr *array);
34struct vmci_handle
35vmci_handle_arr_get_entry(const struct vmci_handle_arr *array, u32 index);
36bool vmci_handle_arr_has_entry(const struct vmci_handle_arr *array,
37			       struct vmci_handle entry_handle);
38struct vmci_handle *vmci_handle_arr_get_handles(struct vmci_handle_arr *array);
39
40static inline u32 vmci_handle_arr_get_size(
41	const struct vmci_handle_arr *array)
42{
43	return array->size;
44}
45
46
47#endif /* _VMCI_HANDLE_ARRAY_H_ */
48