pub const ERROR_CANNOT_GRANT_REQUESTED_OPLOCK: u32 = 801; // 801u32