#ifndef IMB3_PLATFORM_H #define IMB3_PLATFORM_H #include #include #include 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