src/platform.h


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

#ifndef IMB3_PLATFORM_H
#define IMB3_PLATFORM_H

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

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

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

#endif // IMB3_PLATFORM_H