From 5810a77cbf502ce2393bc39a2cee113d0094fc2b Mon Sep 17 00:00:00 2001 From: Bananymous Date: Tue, 11 Apr 2023 23:33:20 +0300 Subject: [PATCH] Kernel: Mark Scheduler::start() as noreturn as appropriate --- kernel/include/kernel/Scheduler.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/include/kernel/Scheduler.h b/kernel/include/kernel/Scheduler.h index adb24856..a55dec9a 100644 --- a/kernel/include/kernel/Scheduler.h +++ b/kernel/include/kernel/Scheduler.h @@ -13,7 +13,7 @@ namespace Kernel static BAN::ErrorOr initialize(); static Scheduler& get(); - void start(); + [[noreturn]] void start(); void reschedule(); void reschedule_if_idling();