38 lines
748 B
C
38 lines
748 B
C
#pragma once
|
|
|
|
#include "types/physaddr.h"
|
|
|
|
/**
|
|
* @brief Create a new top-level page table and map the kernel in it.
|
|
*
|
|
* This function does not load the page table; it only initializes it.
|
|
*
|
|
* @return physaddr_t
|
|
*/
|
|
physaddr_t create_address_space();
|
|
|
|
/**
|
|
* @brief Load an existing top-level page table
|
|
*
|
|
* @param table
|
|
*/
|
|
void load_address_space(physaddr_t table);
|
|
|
|
/**
|
|
* @brief Maps a single page with the specified flags.
|
|
*
|
|
* @param page
|
|
* @param frame
|
|
* @param flags
|
|
* @return int
|
|
*/
|
|
int map_page(void *page, physaddr_t frame, int flags);
|
|
|
|
/**
|
|
* @brief Unmaps a single page, returning the physical address of the frame it
|
|
* pointed to.
|
|
*
|
|
* @param page
|
|
* @return physaddr_t
|
|
*/
|
|
physaddr_t unmap_page(void *page); |