void page_free(void *start, u64 len);
void *page_realloc(void *start, u64 old_len, u64 new_len);
void *big_alloc(u64 len) LIKE_MALLOC; // allocate a large memory block in the most efficient way available
void page_free(void *start, u64 len);
void *page_realloc(void *start, u64 old_len, u64 new_len);
void *big_alloc(u64 len) LIKE_MALLOC; // allocate a large memory block in the most efficient way available