Syscall_frame *f = this->regs();
//printf("sys_invoke_debugger(f=%p, obj=%lx)\n", f, f->ref().raw());
Kobject_iface *o = space()->obj_space()->lookup_local(f->ref().cap());
Syscall_frame *f = this->regs();
//printf("sys_invoke_debugger(f=%p, obj=%lx)\n", f, f->ref().raw());
Kobject_iface *o = space()->obj_space()->lookup_local(f->ref().cap());