Constant XPF_TLB_CHECK_OPERATION_PREFETCH 

pub const XPF_TLB_CHECK_OPERATION_PREFETCH: u32 = 6u32;