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