2019-03-17 12:22:00 -05:00
|
|
|
#ifndef MEMORY_H
|
|
|
|
|
#define MEMORY_H
|
|
|
|
|
|
|
|
|
|
#include <stdint.h>
|
|
|
|
|
|
|
|
|
|
#define BLK_SZ 4096
|
|
|
|
|
|
|
|
|
|
void* alloc_memory(uint32_t num_pages);
|
|
|
|
|
void alloc_memory_virt(uint32_t num_pages,void* addr);
|
2019-05-05 13:14:14 -05:00
|
|
|
void* new_address_space();
|
2019-03-17 12:22:00 -05:00
|
|
|
|
|
|
|
|
#endif
|
