diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-08-27 01:14:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-27 01:14:11 +0200 |
| commit | a838f2fc7965f2e3f619d8f6d40915db668d7ae6 (patch) | |
| tree | a42ecc29158d42f015e3022b877e4edd5dbb9722 | |
| parent | 463fdf3e042c7429f2d85d2cdc042463d2cd7720 (diff) | |
| parent | 57e7e2875b3bb571703cbaa11aac92efea434f04 (diff) | |
| download | rust-a838f2fc7965f2e3f619d8f6d40915db668d7ae6.tar.gz rust-a838f2fc7965f2e3f619d8f6d40915db668d7ae6.zip | |
Rollup merge of #75818 - ollie27:doc_systemtime_windows, r=retep998
Update docs for SystemTime Windows implementation Windows now uses `GetSystemTimePreciseAsFileTime` (since #69858) on versions of Windows that support it.
| -rw-r--r-- | library/std/src/time.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/library/std/src/time.rs b/library/std/src/time.rs index 02161ecb4c8..c8aee1da39b 100644 --- a/library/std/src/time.rs +++ b/library/std/src/time.rs @@ -159,7 +159,7 @@ pub struct Instant(time::Instant); /// | DARWIN | [gettimeofday] | /// | VXWorks | [clock_gettime (Realtime Clock)] | /// | WASI | [__wasi_clock_time_get (Realtime Clock)] | -/// | Windows | [GetSystemTimeAsFileTime] | +/// | Windows | [GetSystemTimePreciseAsFileTime] / [GetSystemTimeAsFileTime] | /// /// [clock_time_get (Realtime Clock)]: https://nuxi.nl/cloudabi/#clock_time_get /// [`insecure_time` usercall]: https://edp.fortanix.com/docs/api/fortanix_sgx_abi/struct.Usercalls.html#method.insecure_time @@ -167,6 +167,7 @@ pub struct Instant(time::Instant); /// [gettimeofday]: http://man7.org/linux/man-pages/man2/gettimeofday.2.html /// [clock_gettime (Realtime Clock)]: https://linux.die.net/man/3/clock_gettime /// [__wasi_clock_time_get (Realtime Clock)]: https://github.com/WebAssembly/WASI/blob/master/phases/snapshot/docs.md#clock_time_get +/// [GetSystemTimePreciseAsFileTime]: https://docs.microsoft.com/en-us/windows/win32/api/sysinfoapi/nf-sysinfoapi-getsystemtimepreciseasfiletime /// [GetSystemTimeAsFileTime]: https://docs.microsoft.com/en-us/windows/win32/api/sysinfoapi/nf-sysinfoapi-getsystemtimeasfiletime /// /// **Disclaimer:** These system calls might change over time. |