#include <alloc.h> #include <paging.h> #include <stdint.h> #include <stdio.h> #include <task.h> void *mallocTaskAligned(uintptr_t size, uint8_t alignment, Task *task) { // todo: do this nicer : have different 'buckets' for different allocation // sizes return getPage(); } void *mallocTask(uintptr_t size, Task *task) { return mallocTaskAligned(size, 0, task); } void *malloc(uintptr_t size) { return mallocTaskAligned(size, 0, currentTask); } void *mallocAligned(uintptr_t size, uint8_t alignment) { return mallocTaskAligned(size, alignment, currentTask); } void free(void *location) { freePage(location); } void freeTaskAllocations(Task *task) { // todo }