diff options
| author | Miles Bader <miles@gnu.org> | 1997-07-22 19:20:30 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1997-07-22 19:20:30 +0000 |
| commit | cd9ac4936e70c95561e9c4c8044d427ca61ecbc9 (patch) | |
| tree | 29402b1304bdae561bf466845d5dd9e39530c7a8 /pfinet/main.c | |
| parent | 7643b0b307da8adb72c9d22007bd830c0f7daf9f (diff) | |
(maptime_map):
For the device-file case, don't use wierd file_get_storage_info method for
getting device port, just use io_map to get a memory object directly from
the file.
Diffstat (limited to 'pfinet/main.c')
0 files changed, 0 insertions, 0 deletions