Loading...
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_ */
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[];
21};
22
23#define VMCI_HANDLE_ARRAY_HEADER_SIZE \
24 offsetof(struct vmci_handle_arr, entries)
25/* Select a default capacity that results in a 64 byte sized array */
26#define VMCI_HANDLE_ARRAY_DEFAULT_CAPACITY 6
27/* Make sure that the max array size can be expressed by a u32 */
28#define VMCI_HANDLE_ARRAY_MAX_CAPACITY \
29 ((U32_MAX - VMCI_HANDLE_ARRAY_HEADER_SIZE - 1) / \
30 sizeof(struct vmci_handle))
31
32struct vmci_handle_arr *vmci_handle_arr_create(u32 capacity, u32 max_capacity);
33void vmci_handle_arr_destroy(struct vmci_handle_arr *array);
34int vmci_handle_arr_append_entry(struct vmci_handle_arr **array_ptr,
35 struct vmci_handle handle);
36struct vmci_handle vmci_handle_arr_remove_entry(struct vmci_handle_arr *array,
37 struct vmci_handle
38 entry_handle);
39struct vmci_handle vmci_handle_arr_remove_tail(struct vmci_handle_arr *array);
40struct vmci_handle
41vmci_handle_arr_get_entry(const struct vmci_handle_arr *array, u32 index);
42bool vmci_handle_arr_has_entry(const struct vmci_handle_arr *array,
43 struct vmci_handle entry_handle);
44struct vmci_handle *vmci_handle_arr_get_handles(struct vmci_handle_arr *array);
45
46static inline u32 vmci_handle_arr_get_size(
47 const struct vmci_handle_arr *array)
48{
49 return array->size;
50}
51
52
53#endif /* _VMCI_HANDLE_ARRAY_H_ */