+ int i;
+
+ if (ISLISTEMPTY(&MonitorProcs))
+ {
+ kprintf("No stacks registered in the monitor\n");
+ return;
+ }
+
+ kprintf("%-24s %-6s%-8s%-8s%-8s\n", "Process name", "TCB", "SPbase", "SPsize", "SPfree");
+ for (i=0;i<56;i++)
+ kprintf("-");
+ kprintf("\n");