PageManager$set_page_mapping function <nucleus/kernel.h>

The PageManager$set_page_mapping function sets an entry in the current page map.

Syntax

void
PageManager$set_page_mapping(
	uintptr_t vaddr,
	uintptr_t paddr,
	uintptr_t flags
);

Parameters

The virtual address of the page that will be backed by a frame.

The physical address of the frame that will back the page.

A bit set of PAGE_ flags to apply to the new mapping.