Constant XPF_TLB_CHECK_OPERATION_GENREAD 

pub const XPF_TLB_CHECK_OPERATION_GENREAD: u32 = 1u32;