Karg  v0.2.0
The kernel of CargOS
page_alloc.h
Go to the documentation of this file.
1 #pragma once
2 
3 #define PAGE_SIZE 4096
4 
5 #ifndef __ASSEMBLER__
6 void *page_alloc(void);
7 void page_free(void *ptr);
8 #endif
void * page_alloc(void)
Definition: page_alloc.c:25
void page_free(void *ptr)
Definition: page_alloc.c:33