diff options
| author | Roland McGrath <roland@gnu.org> | 1995-11-21 21:08:45 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 1995-11-21 21:08:45 +0000 |
| commit | d1b2b630139132b940f69980727807ff7602e89b (patch) | |
| tree | 932425e385040fcd4c4e35d7011e0d6ee7e60a72 /defpager | |
| parent | 92d1c8313f85b46dedc1676d472a2001f5c4e55e (diff) | |
(going_down): Variable removed.
(deadboot): Don't test it. Instead, use ports calls to check if there are
no other live ports.
(trivfs_goaway): Don't set it.
Diffstat (limited to 'defpager')
0 files changed, 0 insertions, 0 deletions