1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 * Copyright 2023 Red Hat
4 */
5
6#ifndef VDO_THREAD_DEVICE_H
7#define VDO_THREAD_DEVICE_H
8
9#include "thread-registry.h"
10
11void vdo_register_thread_device_id(struct registered_thread *new_thread,
12				   unsigned int *id_ptr);
13
14void vdo_unregister_thread_device_id(void);
15
16int vdo_get_thread_device_id(void);
17
18void vdo_initialize_thread_device_registry(void);
19
20#endif /* VDO_THREAD_DEVICE_H */
21