Initial revision

1 files changed, 89 insertions, 0 deletions

diff --git a/libshouldbeinlibc/maptime.c b/libshouldbeinlibc/maptime.c
new file mode 100644
index 00000000..d8cf22f7
--- /dev/null
+++ b/libshouldbeinlibc/maptime.c
@@ -0,0 +1,89 @@
+/* Support for mach's mapped time
+
+   Copyright (C) 1996 Free Software Foundation, Inc.
+
+   Written by Miles Bader <miles@gnu.ai.mit.edu>
+
+   This program is free software; you can redistribute it and/or
+   modify it under the terms of the GNU General Public License as
+   published by the Free Software Foundation; either version 2, or (at
+   your option) any later version.
+
+   This program is distributed in the hope that it will be useful, but
+   WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+   General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this program; if not, write to the Free Software
+   Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
+
+#include <hurd.h>
+#include <mach.h>
+#include <device/device.h>
+
+#include "maptime.h"
+
+/* Return the mach mapped time page in MTIME.  If USE_MACH_DEV is false, then
+   the hurd time device DEV_NAME, or "/dev/time" if DEV_NAME is 0, is
+   used.  If USE_MACH_DEV is true, the mach device DEV_NAME, or "time" if
+   DEV_NAME is 0, is used; this is a privileged operation.  The mapped time
+   may be converted to a struct timeval at any time using maptime_read.  */
+error_t
+maptime_map (int use_mach_dev, char *dev_name,
+	     volatile struct mapped_time_value **mtime)
+{
+  error_t err;
+  device_t device;  
+  mach_port_t mobj;
+
+  if (use_mach_dev)
+    {
+      mach_port_t device_master;
+
+      err = get_privileged_ports (0, &device_master);
+      if (! err)
+	{
+	  err = device_open (device_master, 0, dev_name ?: "time", &device);
+	  mach_port_deallocate (mach_task_self (), device_master);
+	}
+    }
+  else
+    {
+      string_t name;
+      int class, flags = 0;
+      size_t block_size;
+      off_t *runs = 0;
+      char *misc = 0;
+      size_t runs_len = 0, misc_len = 0;
+      file_t node = file_name_lookup (dev_name ?: "/dev/time", 0, 0);
+
+      if (node == MACH_PORT_NULL)
+	return errno;
+
+      err = file_get_storage_info (node, &class, &runs, &runs_len, &block_size,
+				   name, &device, &misc, &misc_len, &flags);
+      if (!err && runs_len)
+	vm_deallocate (mach_task_self (), (vm_address_t)runs, runs_len);
+      if (!err && misc_len)
+	vm_deallocate (mach_task_self (), (vm_address_t)misc, misc_len);
+
+      mach_port_deallocate (mach_task_self (), node);
+    }
+
+  if (err)
+    return err;
+
+  err = device_map (device, VM_PROT_READ, 0, sizeof *mtime, &mobj, 0);
+  if (! err)
+    {
+      err =
+	vm_map (mach_task_self (), (vm_address_t *)mtime, sizeof *mtime, 0, 1,
+		mobj, 0, 0, VM_PROT_READ, VM_PROT_READ, VM_INHERIT_NONE);
+      mach_port_deallocate (mach_task_self (), mobj);
+    }
+
+  mach_port_deallocate (mach_task_self (), device);
+
+  return err;
+}