diff options
-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, |