size_t free = monitor_checkStack(p->stack_base, p->stack_size);
kprintf("%-24s%-8p%-8p%-8lu%-8lu\n",
p->monitor.name, p, p->stack_base, p->stack_size, free);
}
size_t free = monitor_checkStack(p->stack_base, p->stack_size);
kprintf("%-24s%-8p%-8p%-8lu%-8lu\n",
p->monitor.name, p, p->stack_base, p->stack_size, free);
}