root_page_table_x64.cpp File Reference

Go to the source code of this file.

Functions
void	root_page_table_terminate ()
root_page_table_x64 *	root_pt () noexcept

Variables
auto	g_terminate_called = false

Function Documentation

root_page_table_terminate()

void root_page_table_terminate

(

)

Definition at line 42 of file root_page_table_x64.cpp.

root_pt()

root_page_table_x64* root_pt ( )

noexcept

Root Page Table

Returns the VMM's root page table.

Precondition

expects:

Postcondition

ensures: ret != nullptr

Definition at line 256 of file root_page_table_x64.cpp.

Variable Documentation

g_terminate_called

auto g_terminate_called = false

Definition at line 40 of file root_page_table_x64.cpp.