Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset 90c8b8d in mainline for kernel/generic/include/print.h


Ignore:
Timestamp:
2009-08-21T14:08:20Z (12 years ago)
Author:
Martin Decky <martin@…>
Branches:
lfn, master
Children:
a71c158
Parents:
af8e565
Message:

extend the spinlock interface (static spinlocks, statically declared spinlocks with user-defined name)
ignore deadlock detection on all spinlocks whose name begins with "*" (this is more generic than a hardwired list of spinlocks to ignore)
printf_lock is not required to be public anymore

File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/generic/include/print.h

    raf8e565 r90c8b8d  
    3737
    3838#include <arch/types.h>
    39 #include <synch/spinlock.h>
    4039#include <arch/arg.h>
    41 
    42 /* We need this address in spinlock to avoid deadlock in deadlock detection */
    43 SPINLOCK_EXTERN(printf_lock);
    4440
    4541#define EOF (-1)
Note: See TracChangeset for help on using the changeset viewer.