#ifndef ALLOC_H
#define ALLOC_H

#include <stdint.h>
#include <task.h>

extern void *malloc(uintptr_t size);
extern void *mallocAligned(uintptr_t size, uint8_t alignment);
extern void *mallocTask(uintptr_t size, Task *task);
extern void free(void *location);
extern void freeTaskAllocations(Task *task);

#endif