diff options
author | Miles Bader <miles@gnu.org> | 1995-07-22 17:59:00 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1995-07-22 17:59:00 +0000 |
commit | 1dea541ca37308e73b2142bd1ead841e14e3a62e (patch) | |
tree | cf9fb1eae48eb624c76782a0b724d47925579331 /pflocal | |
parent | 77ad08a6c05a602432f8d6a7f03ed1ee402bfc7f (diff) |
entered into RCS
Diffstat (limited to 'pflocal')
-rw-r--r-- | pflocal/pflocal.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pflocal/pflocal.c b/pflocal/pflocal.c index 89c33811..4ad41387 100644 --- a/pflocal/pflocal.c +++ b/pflocal/pflocal.c @@ -83,7 +83,7 @@ pf_demuxer (mach_msg_header_t *inp, mach_msg_header_t *outp) } int debug_flag = 0; -struct mutex debug_lock; +spin_lock_t debug_lock = SPIN_LOCK_INITIALIZER; void main(int argc, char *argv[]) { @@ -119,8 +119,6 @@ void main(int argc, char *argv[]) if (err) error(3, err, "Initializing"); -mutex_init (&debug_lock); - /* Reply to our parent */ err = trivfs_startup(bootstrap, |