Constant simics_api_sys::X86_TLB_PTE_USER

source · 
pub const X86_TLB_PTE_USER: u32 = 4;