Changeset 1787e527 in mainline for kernel/generic/include/print.h


Ignore:
Timestamp:
2009-11-16T21:22:54Z (15 years ago)
Author:
Lenka Trochtova <trochtova.lenka@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
5ebdf94
Parents:
fcbd1be (diff), 9c70ed6 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

merged with head (unstable)

File:
1 edited

Legend:

Unmodified
Added
Removed

  • kernel/generic/include/print.h

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