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

tlb_flush_address

veridian_kernel::arch::x86_64

Function tlb_flush_address 

Source 
pub fn tlb_flush_address(addr: u64)
Expand description

Flush TLB for a specific virtual address. Called via crate::arch::tlb_flush_address().