diff options
Diffstat (limited to 'src/platform.h')
| -rw-r--r-- | src/platform.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/platform.h b/src/platform.h index 2dbfd26..0bb6bbe 100644 --- a/src/platform.h +++ b/src/platform.h @@ -2,11 +2,15 @@ #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); |