Constant XPF_TLB_CHECK_OPERATION_INSTRUCTIONFETCH 

pub const XPF_TLB_CHECK_OPERATION_INSTRUCTIONFETCH: u32 = 5u32;