Remove LARGE_INTEGER · model-checking/verify-rust-std@4eaaf7d (original) (raw)
`@@ -8,7 +8,7 @@
`
8
8
`use crate::ffi::CStr;
`
9
9
`use crate::mem;
`
10
10
`pub use crate::os::raw::c_int;
`
11
``
`-
use crate::os::raw::{c_char, c_long, c_longlong, c_uint, c_ulong, c_ushort, c_void};
`
``
11
`+
use crate::os::raw::{c_char, c_long, c_uint, c_ulong, c_ushort, c_void};
`
12
12
`use crate::os::windows::io::{AsRawHandle, BorrowedHandle};
`
13
13
`use crate::ptr;
`
14
14
``
`@@ -18,7 +18,6 @@ mod windows_sys;
`
18
18
`pub use windows_sys::*;
`
19
19
``
20
20
`pub type DWORD = c_ulong;
`
21
``
`-
pub type LARGE_INTEGER = c_longlong;
`
22
21
`#[cfg_attr(target_vendor = "uwp", allow(unused))]
`
23
22
`pub type LONG = c_long;
`
24
23
`pub type UINT = c_uint;
`
`@@ -270,7 +269,7 @@ pub unsafe fn NtReadFile(
`
270
269
` iostatusblock: &mut IO_STATUS_BLOCK,
`
271
270
` buffer: *mut crate::mem::MaybeUninit,
`
272
271
` length: ULONG,
`
273
``
`-
byteoffset: Option<&LARGE_INTEGER>,
`
``
272
`+
byteoffset: Option<&i64>,
`
274
273
` key: Option<&ULONG>,
`
275
274
`) -> NTSTATUS {
`
276
275
` windows_sys::NtReadFile(
`
`@@ -293,7 +292,7 @@ pub unsafe fn NtWriteFile(
`
293
292
` iostatusblock: &mut IO_STATUS_BLOCK,
`
294
293
` buffer: *const u8,
`
295
294
` length: ULONG,
`
296
``
`-
byteoffset: Option<&LARGE_INTEGER>,
`
``
295
`+
byteoffset: Option<&i64>,
`
297
296
` key: Option<&ULONG>,
`
298
297
`) -> NTSTATUS {
`
299
298
` windows_sys::NtWriteFile(
`
`@@ -452,7 +451,7 @@ compat_fn_with_fallback! {
`
452
451
` iostatusblock: &mut IO_STATUS_BLOCK,
`
453
452
` buffer: *mut crate::mem::MaybeUninit,
`
454
453
` length: ULONG,
`
455
``
`-
byteoffset: Option<&LARGE_INTEGER>,
`
``
454
`+
byteoffset: Option<&i64>,
`
456
455
` key: Option<&ULONG>
`
457
456
`) -> NTSTATUS {
`
458
457
`STATUS_NOT_IMPLEMENTED
`
`@@ -466,7 +465,7 @@ compat_fn_with_fallback! {
`
466
465
` iostatusblock: &mut IO_STATUS_BLOCK,
`
467
466
` buffer: *const u8,
`
468
467
` length: ULONG,
`
469
``
`-
byteoffset: Option<&LARGE_INTEGER>,
`
``
468
`+
byteoffset: Option<&i64>,
`
470
469
` key: Option<&ULONG>
`
471
470
`) -> NTSTATUS {
`
472
471
`STATUS_NOT_IMPLEMENTED
`