// SPDX-License-Identifier: GPL-2.0-only /* * Copyright 2023 Red Hat */ #include "thread-device.h" /* A registry of threads associated with device id numbers. */ static struct thread_registry device_id_thread_registry; /* Any registered thread must be unregistered. */ 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) { … }