Constant simics_api_sys::X86_TLB_PTE_MASK

source ยท 
pub const X86_TLB_PTE_MASK: u64 = 8070450532247932416;