pub const XPF_TLB_CHECK_OPERATION_GENERIC: u32 = 0u32;