if (t == NULL)
return false;
- if (!addrspace_load (&t->addrspace, filename, &start))
+ if (!addrspace_load (t, filename, &start))
PANIC ("%s: program load failed", filename);
/* Interrupt frame. */
ASSERT (t->status == THREAD_DYING);
ASSERT (t != thread_current ());
+ addrspace_destroy (t);
palloc_free (t);
}
destroy_thread (prev);
#ifdef USERPROG
- addrspace_activate (&cur->addrspace);
+ addrspace_activate (cur);
#endif
}