Make idle_loop noreturn

2022-12-07 14:46:56 +01:00 · 2022-12-07 14:46:56 +01:00 · 5d988c088f
commit 5d988c088f
parent f65ed465c4
2 changed files with 2 additions and 2 deletions
--- a/kernel/src/arch/CPU.h
+++ b/kernel/src/arch/CPU.h
@ -13,7 +13,7 @@ namespace CPU

    [[noreturn]] void efficient_halt();

-    void idle_loop();
+    [[noreturn]] void idle_loop();

    void switch_kernel_stack(u64 top);

--- a/kernel/src/arch/x86_64/CPU.cpp
+++ b/kernel/src/arch/x86_64/CPU.cpp
@ -430,7 +430,7 @@ namespace CPU
        goto loop;           // Safeguard: if we ever wake up, start our low-power rest again
    }

-    void idle_loop()
+    [[noreturn]] void idle_loop()
    {
        asm volatile("sti");
    loop: