diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2013-04-07 01:03:54 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2013-04-07 01:03:54 +0200 |
| commit | e4ca7c575ff06479bb634cf64cd9abe36a25e3e8 (patch) | |
| tree | db1f53daedfcd16c5fd17ce8bb703049b788ec2d /microkernel | |
| parent | be05092c3406d72165ceddf16d8221b99608c905 (diff) | |
open_issues/vdso: New.
Diffstat (limited to 'microkernel')
| -rw-r--r-- | microkernel/mach/gnumach/interface/device/time.mdwn | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/microkernel/mach/gnumach/interface/device/time.mdwn b/microkernel/mach/gnumach/interface/device/time.mdwn index d399e8b5..d1e9a488 100644 --- a/microkernel/mach/gnumach/interface/device/time.mdwn +++ b/microkernel/mach/gnumach/interface/device/time.mdwn @@ -14,4 +14,5 @@ containing a `struct mapped_time_value`. See the [[reference_manual]]. Typically available as `/dev/time`, [[hurd/translator/storeio]]. Using that, [[hurd/libshouldbeinlibc]]'s `<maptime.h>` provides `maptime_map` -and `maptime_read`, see the [[hurd/reference_manual]]. +and `maptime_read`, see the [[hurd/reference_manual]]. Candidate for +replacement with [[open_issues/vDSO]] code? |