Snitch Runtime
Loading...
Searching...
No Matches
alloc_decls.h
1// Copyright 2023 ETH Zurich and University of Bologna.
2// Licensed under the Apache License, Version 2.0, see LICENSE for details.
3// SPDX-License-Identifier: Apache-2.0
4
5#pragma once
6
7#include <stddef.h>
8#include <stdint.h>
9
10typedef struct {
11 // Base address from where allocation starts
12 uint32_t base;
13 // End address up to which allocation is allowed
14 uint32_t end;
15 // Address of the next allocated block
16 uint32_t next;
18
19inline void *snrt_l1_next();
20
21inline void *snrt_l3_next();
22
23inline void *snrt_l1_alloc(size_t size);
24
25inline void snrt_l1_update_next(void *next);
26
27inline void *snrt_l3_alloc(size_t size);
28
29inline void snrt_alloc_init();
Definition alloc_decls.h:10