remote_page_table_walker.hpp File Reference

Bounded architecture-neutral remote page-table walking. More...

#include "../reloco.hpp"
#include "address_space.hpp"
#include "address_translator.hpp"
#include <cstddef>
#include <cstdint>
#include <limits>
#include <type_traits>

Include dependency graph for remote_page_table_walker.hpp:

Go to the source code of this file.

Classes
struct	microfmt::remote_page_table_level
	Address-index and entry-width description for one table level. More...
struct	microfmt::remote_page_table_decoded_entry
	Architecture callback output for one decoded entry. More...
struct	microfmt::remote_page_table_callbacks
	Callback table describing an architecture's page-table format. More...
class	microfmt::remote_page_table_layout_ref
	Borrowed architecture layout used by a remote page-table walker. More...
struct	microfmt::remote_page_table_walk_step
	One recorded level from a remote page-table walk. More...
class	microfmt::remote_page_table_walk_trace
	Caller-owned bounded storage for page-table walk diagnostics. More...
struct	microfmt::remote_page_table_walk_result
	Final virtual-to-physical result from a remote page-table walk. More...
class	microfmt::remote_page_table_walker
	Bounded remote page-table walker using physical memory access. More...

Namespaces
namespace	microfmt

Enumerations
enum class	microfmt::remote_page_table_entry_kind : uint8_t { microfmt::invalid , microfmt::next_table , microfmt::leaf }
	Meaning assigned to a decoded page-table entry. More...
enum class	microfmt::remote_page_table_walk_error : uint8_t {   microfmt::invalid_physical_space , microfmt::invalid_layout , microfmt::invalid_root , microfmt::invalid_level ,   microfmt::unsupported_entry_size , microfmt::address_overflow , microfmt::read_failed , microfmt::decode_failed ,   microfmt::invalid_entry , microfmt::unexpected_next_table , microfmt::invalid_leaf }
	Errors produced while walking remote page tables. More...

Detailed Description

Bounded architecture-neutral remote page-table walking.