std1.0.0-beta-7 SafeC docs

std :: kernel::mmu

Struct std::MmuX86_64

#include <std/kernel/mmu.h> source

struct MmuX86_64 { }

Non-leaf entries carry P|RW|US so the leaf alone decides access; non-exec pages set NX (bit 63), which needs EFER.NXE enabled.

Methods

§int levels() constsource · definition
§int shift(int level) constsource · definition
§unsigned long entries(int level) constsource · definition
§unsigned long esize() constsource · definition
§unsigned long long table_desc(unsigned long phys) constsource · definition
§unsigned long long leaf_desc(unsigned long phys, unsigned int flags) constsource · definition
§int valid(unsigned long long e) constsource · definition
§int is_leaf(unsigned long long e, int level) constsource · definition
§unsigned long addr(unsigned long long e, int level) constsource · definition
§int load_root(unsigned long root) constsource · definition
§int flush_all() constsource · definition
§int flush_page(unsigned long virt) constsource · definition