Constant simics_api_sys::X86_TLB_PTE_USER_MASK

source ยท 
pub const X86_TLB_PTE_USER_MASK: u32 = 3584;