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 | 8ed5c1ccdb201b931a6e52e3d54a37251f6a54bf (patch) | |
| tree | aa83160249382793ebd0cd54037fb2c9ef0902a1 /devio | |
| parent | 276e5f3dffbea295050965336b3f3a613647d7ae (diff) | |
(struct dev): Add the NAME field.
Diffstat (limited to 'devio')
| -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; |