diff options
| author | Miles Bader <miles@gnu.org> | 1995-12-28 18:15:10 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-12-28 18:15:10 +0000 |
| commit | 3be5474d345378ccb1c8d91655893b779a0e4924 (patch) | |
| tree | c708ff6e921b10813df9be967d14962848943761 /hurd/kernel_boot.defs | |
| parent | 12c19060a161e9f11cc19c7b6a0f461c7d7436e1 (diff) | |
(ports_interrupt_notified_rpcs):
Only bother to lock _PORTS_LOCK if there are notifications.
Diffstat (limited to 'hurd/kernel_boot.defs')
0 files changed, 0 insertions, 0 deletions