diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-07-11 18:11:18 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-07-11 18:11:18 +0000 |
| commit | 7dee55923287d413bddaf57b3be4222784e1d6e0 (patch) | |
| tree | ce5f8b78172689e9a4aab4fbb16744daf63f3a87 /libpager/object-create.c | |
| parent | 1e7118e498bb178971478d5c1fb06c86c2098312 (diff) | |
(fshelp_start_translator_long): If PORTS_TYPE is
MACH_MSG_TYPE_COPY_SEND, then drop our right on bootstrap after the
call, because we are pretending we haven't changed the calling user's
state. For the same reason, save the old BOOTSTRAP port value, and
restore it after the call.
Diffstat (limited to 'libpager/object-create.c')
0 files changed, 0 insertions, 0 deletions