summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorMiod Vallat <miod@cvs.openbsd.org>2003-11-17 14:48:21 +0000
committerMiod Vallat <miod@cvs.openbsd.org>2003-11-17 14:48:21 +0000
commit18877783902aa916a5ca036cb70a99b16dcf6fd0 (patch)
tree051a3bac81e28ea12d92377fb69294b3beaf98a2 /gnu
parent438ea7068bb1e0c6add6fb50b775868be4fd1fce (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