x86/
thread_id.rs

1// Licensed under the Apache License, Version 2.0 or the MIT License.
2// SPDX-License-Identifier: Apache-2.0 OR MIT
3// Copyright Tock Contributors 2025.
4
5//! Basic implementation of a thread ID provider for x86 chips.
6
7use kernel::platform::chip::ThreadIdProvider;
8
9/// Implement the [`ThreadIdProvider`] trait for x86 platforms.
10pub enum X86ThreadIdProvider {}
11
12// # Safety
13//
14// By implementing [`ThreadIdProvider`] we are guaranteeing that we correctly
15// return the thread ID. THIS IMPLEMENTATION IS BROKEN. We need to implement
16// this correctly.
17unsafe impl ThreadIdProvider for X86ThreadIdProvider {
18    fn running_thread_id() -> usize {
19        // TODO: IMPLEMENT!
20        0
21    }
22}