Processor$set_page_map function <nucleus/kernel.h>

The Processor$set_page_map function sets the top level paging structure used by the Processor's Memory Management Unit.

Syntax

void
Processor$set_page_map(
	uintptr_t top
);

Parameters

The address of the top-level paging structure to use.