diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-06-09 19:35:59 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-09 19:35:59 +0000 |
| commit | 24722422c61931bafcf5d725331833a6e555be6c (patch) | |
| tree | 3036577c326b4d987a17529fc10919f72716158c /benchmarks | |
| parent | d05e48e181acf16afa9cae5b8fb12f609bf0a358 (diff) | |
(diskfs_S_file_getcontrol): Use new args for ports_allocate_port.
Diffstat (limited to 'benchmarks')
0 files changed, 0 insertions, 0 deletions