Fix Windows 7 · model-checking/verify-rust-std@bb3f60f (original) (raw)

Original file line number Diff line number Diff line change
@@ -390,18 +390,18 @@ compat_fn_with_fallback! {
390 390 #[cfg(target_vendor = "win7")]
391 391 pub fn NtReleaseKeyedEvent(
392 392 EventHandle: HANDLE,
393 -Key: *mut c_void,
393 +Key: *const c_void,
394 394 Alertable: BOOLEAN,
395 -Timeout: *mut c_longlong
395 +Timeout: *mut i64
396 396 ) -> NTSTATUS {
397 397 panic!("keyed events not available")
398 398 }
399 399 #[cfg(target_vendor = "win7")]
400 400 pub fn NtWaitForKeyedEvent(
401 401 EventHandle: HANDLE,
402 -Key: *mut c_void,
402 +Key: *const c_void,
403 403 Alertable: BOOLEAN,
404 -Timeout: *mut c_longlong
404 +Timeout: *mut i64
405 405 ) -> NTSTATUS {
406 406 panic!("keyed events not available")
407 407 }