cpu/power.h: Documentation fixes

[bertos.git] / bertos / kern / monitor.c

diff --git a/bertos/kern/monitor.c b/bertos/kern/monitor.c
index d46c750a0ed14540bf9aa4cf2f3fa4af75d02a80..1f9ee7919acd1032afda8724ad3b459f884b567b 100644 (file)
--- a/bertos/kern/monitor.c
+++ b/bertos/kern/monitor.c
@@ -45,6 +45,7 @@
 #include <mware/list.h>
 #include <drv/timer.h>
 #include <kern/proc.h>
+#include <cpu/frame.h> /* CPU_STACK_GROWS_UPWARD */
 #include <cfg/macros.h>
 #include <cfg/debug.h>
 
@@ -126,7 +127,7 @@ void monitor_report(void)
        {
                Process *p = containerof(node, Process, monitor.link);
                size_t free = monitor_checkStack(p->stack_base, p->stack_size);
-               kprintf("%-8p%-8p%-8lu%-8lu %s\n",
+               kprintf("%-8p%-8p%-8zu%-8zu %s\n",
                        p, p->stack_base, p->stack_size, free, p->monitor.name);
        }
        proc_permit();