Constant simics_api_sys::bindings::X86_TLB_PTE_USER_READ

source ยท
pub const X86_TLB_PTE_USER_READ: u32 = 512;