std :: kernel::paging
#include <std/kernel/paging.h> source
#include <std/kernel/paging.h>
struct PageEntry { unsigned long value; }
unsigned long value
raw page table entry (flags + physical address)