diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-06-09 19:46:14 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-09 19:46:14 +0000 |
| commit | 3272c5d48f32e9778e8b9204e9ab30f63e7863d7 (patch) | |
| tree | df7c8cc9e0fd8fd064060d7016ecc40406ffe9ab /=Maketools | |
| parent | 5ed885d95885e09793c002456a1a5a7276bd7a66 (diff) | |
(diskfs_do_seqnos_mach_notify_no_senders): Don't help support pagers
here at all. Also use ports_lookup_port and ports_port_deref instead
of ports_check_port_type and ports_done_with_port.
Diffstat (limited to '=Maketools')
0 files changed, 0 insertions, 0 deletions