blob: 2faecb88072c05647c1c33127ed1c6970cdf6ef4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#include <stdint.h>
/*
* Kernel Block Memory Allocation
*
* The kernel reserves some memory for internal operation, since malloc
* is not available.
*
* Last Revision: 17 AUG 2018
*/
// 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);
|
