/* SPDX-License-Identifier: GPL-2.0-only */
/*
* Copyright 2023 Red Hat
*/
#ifndef VDO_THREAD_DEVICE_H
#define VDO_THREAD_DEVICE_H
#include "thread-registry.h"
void vdo_register_thread_device_id(struct registered_thread *new_thread,
unsigned int *id_ptr);
void vdo_unregister_thread_device_id(void);
int vdo_get_thread_device_id(void);
void vdo_initialize_thread_device_registry(void);
#endif /* VDO_THREAD_DEVICE_H */