#include #include namespace Kernel { void Semaphore::block() { Scheduler::get().block_current_thread(this); } void Semaphore::unblock() { Scheduler::get().unblock_threads(this); } }