- size_t free = monitor_check_stack(p->monitor.stack_base, p->monitor.stack_size);
- kprintf("%-24s %04x %04x %4x %4x\n", p->monitor.name, (uint16_t)p, (uint16_t)p->monitor.stack_base, (uint16_t)p->monitor.stack_size, (uint16_t)free);
+ size_t free = monitor_checkStack(p->monitor.stack_base, p->monitor.stack_size);
+ kprintf("%-24s%8p%8p%8lx%8lx\n",
+ p->monitor.name, p, p->monitor.stack_base, p->monitor.stack_size, free);