[IO] rework dprintf to take a debug level, defined in DEBUGLEVEL
printf at the moment just calls dprintf, but soon will become
a seperate I/O queue.
diff --git a/platform/at91sam7/timer.c b/platform/at91sam7/timer.c
index 52224c5..be65e9c 100644
--- a/platform/at91sam7/timer.c
+++ b/platform/at91sam7/timer.c
@@ -21,6 +21,7 @@
* SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
*/
#include <err.h>
+#include <debug.h>
#include <sys/types.h>
#include <kernel/thread.h>
@@ -76,7 +77,7 @@
AT91PIT *pit = AT91PIT_ADDR;
n = AT91_MCK_MHZ / 16 / 1000;
- dprintf("timer: MCK=%dKHz, n=%d\n", AT91_MCK_MHZ / 1000, n);
+ dprintf(INFO, "timer: MCK=%dKHz, n=%d\n", AT91_MCK_MHZ / 1000, n);
enter_critical_section();