kernel: rework init

2026-11-01 15:08:21 +00:00 · 2025-08-14 20:25:43 -03:00
parent fb6cbe49d7
commit 607566531d
41 changed files with 268 additions and 164 deletions
@@ -117,6 +117,6 @@ static inline void cpu_set(cpu_t *ptr) {
 	wrmsr(MSR_GSBASE, (uint64_t)ptr);
 }

-void cpu_initstate();
+void arch_cpu_init();

 #endif