diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1997-04-09 18:10:29 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1997-04-09 18:10:29 +0000 |
| commit | 59b8291f90b7832a4393f0a7a5d06c6384bbf97f (patch) | |
| tree | b174fce3e7ee274eb4852aaddf607a30971ab48e /serverboot | |
| parent | f9ac79ece48085535de7e544d38ac922c56d95ed (diff) | |
*** empty log message ***
Diffstat (limited to 'serverboot')
| -rw-r--r-- | serverboot/default_pager.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/serverboot/default_pager.c b/serverboot/default_pager.c index 85590f18..ba305359 100644 --- a/serverboot/default_pager.c +++ b/serverboot/default_pager.c @@ -2666,6 +2666,7 @@ any_t default_pager_default_thread (arg) any_t arg; { + kern_return_t kr; for (;;) { kr = mach_msg_server(default_pager_demux_default, default_pager_msg_size_default, |