blob: 03934de7722b6c54e6670345d8fdaab02b1d029e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#pragma once
#include <kernel/arch/generic.h>
#include <shared/mem.h>
#include <stddef.h>
void mem_init(void *memtop);
void mem_reserve(void *addr, size_t len);
void mem_debugprint(void);
// allocates `pages` consecutive pages
// TODO deprecate
void *page_alloc(size_t pages);
// zeroes the allocated pages
void *page_zalloc(size_t pages);
// frees `pages` consecutive pages starting from *first
void page_free(void *first, size_t pages);
void kmalloc_sanity(const void *addr);
void *kmalloc(size_t len, const char *desc);
void kfree(void *ptr);
// TODO calloc
static inline void *kzalloc(size_t len, const char *desc) {
void *b = kmalloc(len, desc);
memset(b, 0, len);
return b;
}
|
