From be05092c3406d72165ceddf16d8221b99608c905 Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Sun, 7 Apr 2013 00:20:44 +0200 Subject: microkernel/mach/gnumach/interface/device/time: New. --- microkernel/mach/gnumach/boot_trace.mdwn | 4 ++-- microkernel/mach/gnumach/interface/device.mdwn | 16 ++++++++++++++++ microkernel/mach/gnumach/interface/device/time.mdwn | 17 +++++++++++++++++ 3 files changed, 35 insertions(+), 2 deletions(-) create mode 100644 microkernel/mach/gnumach/interface/device.mdwn create mode 100644 microkernel/mach/gnumach/interface/device/time.mdwn (limited to 'microkernel') diff --git a/microkernel/mach/gnumach/boot_trace.mdwn b/microkernel/mach/gnumach/boot_trace.mdwn index 1badf712..7b729c23 100644 --- a/microkernel/mach/gnumach/boot_trace.mdwn +++ b/microkernel/mach/gnumach/boot_trace.mdwn @@ -1,4 +1,4 @@ -[[!meta copyright="Copyright © 2007, 2008, 2011 Free Software Foundation, +[[!meta copyright="Copyright © 2007, 2008, 2011, 2013 Free Software Foundation, Inc."]] [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable @@ -114,7 +114,7 @@ License|/fdl]]."]]"""]] >>>> kern/time\_stamp.c: timestamp\_init ->>>> kern/mach\_clock.c: mapable\_time\_init +>>>> kern/mach\_clock.c: [[mapable\_time\_init|interface/device/time]] >>>> i386/i386at/model\_dep.c: machine\_init diff --git a/microkernel/mach/gnumach/interface/device.mdwn b/microkernel/mach/gnumach/interface/device.mdwn new file mode 100644 index 00000000..c8ab50e9 --- /dev/null +++ b/microkernel/mach/gnumach/interface/device.mdwn @@ -0,0 +1,16 @@ +[[!meta copyright="Copyright © 2013 Free Software Foundation, Inc."]] + +[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable +id="license" text="Permission is granted to copy, distribute and/or modify this +document under the terms of the GNU Free Documentation License, Version 1.2 or +any later version published by the Free Software Foundation; with no Invariant +Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license +is included in the section entitled [[GNU Free Documentation +License|/fdl]]."]]"""]] + +[[!meta title="Devices"]] + +/!\ Incomplete. + +[[!map pages="microkernel/mach/gnumach/interface/device/* and !microkernel/mach/gnumach/interface/device/*/*" +show=title]] diff --git a/microkernel/mach/gnumach/interface/device/time.mdwn b/microkernel/mach/gnumach/interface/device/time.mdwn new file mode 100644 index 00000000..d399e8b5 --- /dev/null +++ b/microkernel/mach/gnumach/interface/device/time.mdwn @@ -0,0 +1,17 @@ +[[!meta copyright="Copyright © 2013 Free Software Foundation, Inc."]] + +[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable +id="license" text="Permission is granted to copy, distribute and/or modify this +document under the terms of the GNU Free Documentation License, Version 1.2 or +any later version published by the Free Software Foundation; with no Invariant +Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license +is included in the section entitled [[GNU Free Documentation +License|/fdl]]."]]"""]] + +The *mapped-time interface*, that is, a `mmap`able read-only memory page +containing a `struct mapped_time_value`. See the [[reference_manual]]. + +Typically available as `/dev/time`, [[hurd/translator/storeio]]. + +Using that, [[hurd/libshouldbeinlibc]]'s `` provides `maptime_map` +and `maptime_read`, see the [[hurd/reference_manual]]. -- cgit v1.2.3