blob: 1ff2837cbd32a391508214f70351c03b8fe0bdfd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
//
// Created by mart on 4/12/20.
//
#ifndef POKEDIAMOND_OS_INIT_H
#define POKEDIAMOND_OS_INIT_H
#include "types.h"
#include "consts.h"
#include "OS_spinLock.h"
#include "OS_thread.h"
#include "OS_protectionRegion.h"
#include "OS_entropy.h"
#include "OS_arena.h"
#include "OS_alloc.h"
#include "OS_system.h"
void OS_Init();
#endif //POKEDIAMOND_OS_INIT_H
|
