#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