diff options
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? |