[PATCH 2/4] Make `mapable_time_init' parametric

[Pino Toscano]

* kern/mach_clock.c (mapable_time_init_time): New function doing the job
previously done by `mapable_time_init', taking the time variables and the
string for the job.
(mapable_time_init): Call `mapable_time_init_time' for `time' and `mtime'.
---
 kern/mach_clock.c |   17 +++++++++++++----
 1 files changed, 13 insertions(+), 4 deletions(-)

diff --git a/kern/mach_clock.c b/kern/mach_clock.c
index af221f5..459a290 100644
--- a/kern/mach_clock.c
+++ b/kern/mach_clock.c
@@ -66,6 +66,7 @@
 #endif
 
 void softclock();              /* forward */
+void mapable_time_init_time(); /* forward */
 
 int            hz = HZ;                /* number of ticks per second */
 int            tick = (1000000 / HZ);  /* number of usec per tick */
@@ -495,11 +496,19 @@ host_adjust_time(host, new_adjustment, old_adjustment)
 
 void mapable_time_init()
 {
-       if (kmem_alloc_wired(kernel_map, (vm_offset_t *) &mtime, PAGE_SIZE)
+       mapable_time_init_time(&time, &mtime, "mapable_time_init_mtime");
+}
+
+void mapable_time_init_time(time_v, mapped_time_v, what)
+       time_value_t            *time_v;
+       mapped_time_value_t     **mapped_time_v;
+       const char              *what;
+{
+       if (kmem_alloc_wired(kernel_map, (vm_offset_t *) mapped_time_v, 
PAGE_SIZE)
                                                != KERN_SUCCESS)
-               panic("mapable_time_init");
-       memset(mtime, 0, PAGE_SIZE);
-       update_mapped_time(&time, mtime);
+               panic(what);
+       memset(*mapped_time_v, 0, PAGE_SIZE);
+       update_mapped_time(time_v, *mapped_time_v);
 }
 
 int timeopen()
-- 
1.7.5.4