Constant simics_api_sys::X86_TLB_PTE_USER_EXECUTE

pub const X86_TLB_PTE_USER_EXECUTE: u32 = 2048;