1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
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;
}
|
