forked from PoliEcho-holding-org/kern
14 lines
203 B
C
14 lines
203 B
C
#ifndef _VMM_H
|
|
#define _VMM_H
|
|
|
|
#include <kernel.h>
|
|
#include <bitmap.h>
|
|
|
|
extern bitmap_t vmm_bitmap;
|
|
|
|
int vmm_init(void);
|
|
void* vmm_alloc(size_t pages);
|
|
void vmm_free(void* ptr, size_t pages);
|
|
|
|
#endif
|