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

validate_shadow_tables

veridian_kernel::arch::x86_64::kpti

Function validate_shadow_tables 

Source 
pub fn validate_shadow_tables() -> bool
Expand description

Validate shadow table integrity.

Checks that user-space entries in the shadow L4 match the kernel L4, and that kernel-space entries (except L4[511]) are empty.