unsafe fn walk_page_tables_executable(
vaddr: u64,
cr3_phys: u64,
hhdm: u64,
) -> Result<bool, ()>Expand description
Walk x86-64 4-level page tables to check if vaddr is present, executable,
and supervisor-only (U/S=0).
Returns Ok(true) if the final PTE meets all conditions.
Rejects user-mode pages (U/S=1) as RIP targets for migration.