blob: 427749549fb401b7bdb6329599ad623db93864ad [file] [log] [blame]
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +01001#ifndef _ALLOC_H
2#define _ALLOC_H
3
4#include <stddef.h>
5
6void halloc_init(size_t base, size_t size);
7void *halloc(size_t size);
8void hfree(void *ptr);
9void *halloc_aligned(size_t size, size_t align);
Wedson Almeida Filhofed69022018-07-11 15:39:12 +010010void *halloc_aligned_nosync(size_t size, size_t align);
Wedson Almeida Filho987c0ff2018-06-20 16:34:38 +010011
12#endif /* _ALLOC_H */