Constant simics_api_sys::bindings::X86_TLB_PTE_SVISOR_SHIFT

pub const X86_TLB_PTE_SVISOR_SHIFT: u32 = 60;