| Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 1 | #ifndef _ALLOC_H |
| 2 | #define _ALLOC_H |
| 3 | |
| 4 | #include <stddef.h> |
| 5 | |
| 6 | void halloc_init(size_t base, size_t size); |
| 7 | void *halloc(size_t size); |
| 8 | void hfree(void *ptr); |
| 9 | void *halloc_aligned(size_t size, size_t align); |
| Wedson Almeida Filho | fed6902 | 2018-07-11 15:39:12 +0100 | [diff] [blame] | 10 | void *halloc_aligned_nosync(size_t size, size_t align); |
| Wedson Almeida Filho | 987c0ff | 2018-06-20 16:34:38 +0100 | [diff] [blame] | 11 | |
| Andrew Scull | 4f170f5 | 2018-07-19 12:58:20 +0100 | [diff] [blame] | 12 | #endif /* _ALLOC_H */ |