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