/* 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 */