diff options
| author | Miles Bader <miles@gnu.org> | 1995-10-04 22:14:12 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-10-04 22:14:12 +0000 |
| commit | 161cb1011a036d91166a95f875ccf08cc7a65597 (patch) | |
| tree | 7f825283f24912770823dc2b3a8a8952c472fd9e | |
| parent | 927e54a7c936792ac6ffb6db2016af819eee8fff (diff) | |
(struct dev): Add the NAME field.
| -rw-r--r-- | devio/dev.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devio/dev.h b/devio/dev.h index 14ffc473..de51d788 100644 --- a/devio/dev.h +++ b/devio/dev.h @@ -44,6 +44,8 @@ struct dev { /* The device port for the kernel device we're doing paging on. */ device_t port; + /* The mach device name which we opened. */ + char *name; /* The total size of DEV. */ vm_size_t size; |