diff options
| author | Patrick Wildt <patrick@cvs.openbsd.org> | 2017-01-21 09:23:20 +0000 |
|---|---|---|
| committer | Patrick Wildt <patrick@cvs.openbsd.org> | 2017-01-21 09:23:20 +0000 |
| commit | 48be71b5f29f221dd2a371a5d3c806d85b14b31e (patch) | |
| tree | b81881ab7cc0ffdddca970d5f77e263fced1facb /usr.sbin/pkg_add | |
| parent | 42be79b9c7de3f0b600e6eeccc68549af9ddc8e6 (diff) | |
Only switch the pagetable if we were asked to switch to a user
process. This seems to happen when we switch away from a proc
to kill it. We should probably start keeping a 'dummy' table
around.
Diffstat (limited to 'usr.sbin/pkg_add')
0 files changed, 0 insertions, 0 deletions