Constant XPF_TLB_CHECK_OPERATION_PREFETCH

pub const XPF_TLB_CHECK_OPERATION_PREFETCH: u32 = 6u32;