diff options
author | Miod Vallat <miod@cvs.openbsd.org> | 2003-11-17 14:48:21 +0000 |
---|---|---|
committer | Miod Vallat <miod@cvs.openbsd.org> | 2003-11-17 14:48:21 +0000 |
commit | 18877783902aa916a5ca036cb70a99b16dcf6fd0 (patch) | |
tree | 051a3bac81e28ea12d92377fb69294b3beaf98a2 /gnu | |
parent | 438ea7068bb1e0c6add6fb50b775868be4fd1fce (diff) |
Be sure to pmap_deactivate() pmaps when processes exit or are scheduled out.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions