⚠️ VeridianOS Kernel Documentation - This is low-level kernel code. All functions are unsafe unless explicitly marked otherwise. no_std

get_page_tables

veridian_kernel::arch::x86_64::kpti

Function get_page_tables 

Source 
pub fn get_page_tables() -> Option<(u64, u64)>
Expand description

Get the current KPTI page table pair (for diagnostics).