CeDOS - kernel/page_allocator.h

kernel/page_allocator.h (view raw)

1
2
3
4
5
6
7
#ifndef PAGE_ALLOCATOR_H
#define PAGE_ALLOCATOR_H

void* get_free_page();
void mark_as_free(void* page_addr);

#endif