dev/kernel/KernelKit/Semaphore.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

/* -------------------------------------------

  Copyright (C) 2024-2025, Amlal El Mahrouss, all rights reserved.

------------------------------------------- */

#pragma once

#include <CompilerKit/CompilerKit.h>
#include <KernelKit/Timer.h>
#include <NeKit/Defines.h>

namespace Kernel {
typedef Int64 Semaphore;
}  // namespace Kernel