Constant windows::Wdk::System::SystemServices::XPF_TLB_CHECK_OPERATION_DATAREAD

pub const XPF_TLB_CHECK_OPERATION_DATAREAD: u32 = 3u32;