blob: 6e7157a0afebbec193cce710f9d3864e26dc8cf6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
/*
* Kernel Block Memory Allocation
*
* The kernel reserves some memory for internal operation, since malloc
* is not available.
*/
#include <stdint.h>
// Allocate size*4096 bytes and returns a 32-bit pointer
uint32_t kballoc (uint32_t size);
// Free memory allocated before by supplying the address (TODO)
uint32_t kbfree (uint32_t addr);
|
