microkernel/mach/gnumach/interface/device/time: New.
[hurd-web.git] / microkernel / mach / gnumach / boot_trace.mdwn
index 1badf71..7b729c2 100644 (file)
@@ -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