Karg v0.2.0
The kernel of CargOS
Loading...
Searching...
No Matches
page_alloc.h
Go to the documentation of this file.
1#pragma once
2
3#define PAGE_SIZE 4096
4
5#ifndef __ASSEMBLER__
6void *page_alloc(void);
7void 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