CeDOS - kernel/mm/page_allocator.h

kernel/mm/page_allocator.h (view raw)

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
/*! \file
 * Keeps track of unused memory pages and provides functions to allocate or free them.
 */
#ifndef PAGE_ALLOCATOR_H
#define PAGE_ALLOCATOR_H

#include <stdint.h>

/*!
 * Returns a free page and marks it as used.
 * \return Address of the first byte on the page or NULL if no page was allocated.
 */
void* get_free_page();

/*!
 * Adds a previously allocated page as free.
 * \param page_addr Pointer to any byte within the page to be freed.
 */
void mark_as_free(void* page_addr);

uint32_t mem_usage(void);

#endif