src/platform.h


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

#ifndef IMB3_PLATFORM_H
#define IMB3_PLATFORM_H

#include <stddef.h>
#include <stdint.h>
#include <stdnoreturn.h>

size_t get_l1d_size(void);
size_t get_l3_size(void);

uintptr_t alloc_gc_region(size_t);
void clear_gc_region(uintptr_t, size_t);

void panic_begin(void);
noreturn void panic_end(void);

#endif // IMB3_PLATFORM_H