From 731758b271233b9c11052001ffc20a5a2ca1f365 Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Fri, 26 Dec 2025 09:53:29 +0100 Subject: feat: kernel: system and API improvements. Signed-off-by: Amlal El Mahrouss --- src/kernel/KernelKit/HardwareThreadScheduler.h | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) (limited to 'src/kernel/KernelKit/HardwareThreadScheduler.h') diff --git a/src/kernel/KernelKit/HardwareThreadScheduler.h b/src/kernel/KernelKit/HardwareThreadScheduler.h index eb38b869..6fb2dea7 100644 --- a/src/kernel/KernelKit/HardwareThreadScheduler.h +++ b/src/kernel/KernelKit/HardwareThreadScheduler.h @@ -17,11 +17,6 @@ #define kMaxAPInsideSched (4U) namespace Kernel { -class HardwareThread; -class HardwareThreadScheduler; - -using ThreadID = UInt32; - enum struct ThreadKind { kAPInvalid = 0, kAPSystemReserved = 100, // System reserved thread, well user can't use it @@ -29,9 +24,12 @@ enum struct ThreadKind { kAPRealTime, // fallback thread, cannot be used by user if not clear or // used by Kernel. kAPBoot, // The core we booted from, the mama. - kAPCount, + kAPCount = kAPBoot - kAPSystemReserved + 1, }; +/// \brief Alias for thread ID. +using ThreadID = UInt32; + /***********************************************************************************/ /// /// \name HardwareThread -- cgit v1.2.3