#include <linux/slab.h>
#include "vmci_handle_array.h"
struct vmci_handle_arr *vmci_handle_arr_create(u32 capacity, u32 max_capacity)
{ … }
void vmci_handle_arr_destroy(struct vmci_handle_arr *array)
{ … }
int vmci_handle_arr_append_entry(struct vmci_handle_arr **array_ptr,
struct vmci_handle handle)
{ … }
struct vmci_handle vmci_handle_arr_remove_entry(struct vmci_handle_arr *array,
struct vmci_handle entry_handle)
{ … }
struct vmci_handle vmci_handle_arr_remove_tail(struct vmci_handle_arr *array)
{ … }
struct vmci_handle
vmci_handle_arr_get_entry(const struct vmci_handle_arr *array, u32 index)
{ … }
bool vmci_handle_arr_has_entry(const struct vmci_handle_arr *array,
struct vmci_handle entry_handle)
{ … }
struct vmci_handle *vmci_handle_arr_get_handles(struct vmci_handle_arr *array)
{ … }