diff options
Diffstat (limited to 'doc/mach.texi')
| -rw-r--r-- | doc/mach.texi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/mach.texi b/doc/mach.texi index 2bd085b2..dd1e5edd 100644 --- a/doc/mach.texi +++ b/doc/mach.texi @@ -5648,7 +5648,9 @@ mapped-time interface: do @{ secs = mtime->seconds; + __sync_synchronize(); usecs = mtime->microseconds; + __sync_synchronize(); @} while (secs != mtime->check_seconds); @end example |